单项选择题
p→（p ∧（q →p ））的主析取范式及主合取范式为：（）
A.m0∨m1∨m2，M3
B.m2∨m3，M0∧M1
C.m0∨m1∨m2∨m3，主合取范式为空
D.主析取范式为空，M0∧M1∧M2∧M3
点击查看答案&解析
相关考题
-
单项选择题
q ∧（p ∨¬q ）的主析取范式及主合取范式为：（）
A.m3，M0∧M1∧M2
B.m2，M0∧M1∧M3
C.m2∨m3，M0∧M1
D.m1∨m2，M0∧M3 -
单项选择题
公式（p→¬q）→（p↔¬q）的主析取范式及主合取范式为：（）（注意：↔是等价联结词，p↔¬q 即（p→¬q）∧（¬q→p））
A.m0∨ m1∨ m2，M3
B.m2∨ m3，M0∧M1
C.m1∨ m2∨m3，M0
D.m1∨ m2，M0∧M3 -
单项选择题
以下谓词推理说法正确的是（）。
A.（2）⇒（3）错误
B.（3）⇒（4）错误
C.（1）⇒（2）错误
D.推理无错误
