A. ¬Q→¬P B. ¬P→¬Q C. ¬P→Q D. P→¬Q
A. 永真式 B. 永假式 C. 可满足式 D. 合取范式
A. ┐P∧Q B. ┐P∨Q C. P∨┐Q D. P∧┐Q
A. P∧Q B. Q C. P∨¬P∨Q D. P∨Q
A. {<1,a>,<2,a>} B. {<1,a>, <2,b>, <2,c>} C. {<1,a>, <2,b>} D. {<1,c>}