多项选择题
A.L的合式公式B.L的公理C.通过分离规则得到
（（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）A.L中符合L1的公理B...
单项选择题（（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）
A.L中符合L1的公理B.L中符合L2的公理C.L中符合L3的公理D.不是L的公理
下列各项中哪些是命题演算公理系统L的合式公式？（）A.p2B.p1→p2C.（¬（¬p111））D.（p1∧p...
多项选择题下列各项中哪些是命题演算公理系统L的合式公式？（）
A.p2B.p1→p2C.（¬（¬p111））D.（p1∧p2）E.（（A →（B →A ）））
命题联接词“合取”在数字电路中对应的是：（）A.非门B.与门C.或门D.与非门E.或非门
单项选择题命题联接词“合取”在数字电路中对应的是：（）
A.非门B.与门C.或门D.与非门E.或非门
