A. P=>P∧Q B. P∧Q=>P C. P∧Q=>P∨Q D. P∧(P→Q)=>Q E. ¬(P→Q)=>P F. ¬P∧(P∨Q)=>¬P
A. 永真式 B. 永假式 C. 可满足式 D. 以上都有可能
A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式
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