单项选择题
(q→p)∧(¬p∧q )的主析取范式及主合取范式为:()
A.主析取范式为空,M0∧M1∧M2∧M3B.m0∨m1∨m2∨m3,主合取范式为空C.m0∨m1∨m2,M0D.m0,M1∧M2∧M3
单项选择题 p→(p ∧(q →p ))的主析取范式及主合取范式为:()
单项选择题 q ∧(p ∨¬q )的主析取范式及主合取范式为:()
单项选择题 公式(p→¬q)→(p↔¬q)的主析取范式及主合取范式为:()(注意:↔是等价联结词,p↔¬q 即(p→¬q)∧(¬q→p))