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