A. ¬P∧¬Q,P B. A→(A→B),¬A→(A→B) C. Q→(P∨Q),¬Q∨P∨Q D. ¬A∨(A∧B),B
A. P∨Q B. P∧┐Q C. P→┐Q D. P∨┐Q
A. p→(p∨q∨r) B. (p→┐p)→┐p C. ┐(q→q)∧p D. ┐(q∨┐p)→(p∧┐p)
A. 可满足式 B. 矛盾式 C. 永真式 D. 以上都有可能
A. 析取范式 B. 合取范式 C. 主合取范式 D. 以上答案都不对