单项选择题
（（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）
A.L中符合L1的公理B.L中符合L2的公理C.L中符合L3的公理D.不是L的公理
多项选择题 下列各项中哪些是命题演算公理系统L的合式公式？（）
单项选择题 命题联接词“合取”在数字电路中对应的是：（）
单项选择题 可单独作为命题联接词的充足集的是：（）
