多项选择题
下列各项中哪些是命题演算公理系统L的合式公式?()
A.p2B.p1→p2C.(¬(¬p111))D.(p1∧p2)E.((A →(B →A )))
单项选择题 命题联接词“合取”在数字电路中对应的是:()
单项选择题 可单独作为命题联接词的充足集的是:()
单项选择题 析取范式和合取范式中不出现的命题联接词是:()