A. 矛盾式 B. 重言式 C. 可满足式 D. 不能确定
A. p→(p∨q∨r) B. (p→┐p)→┐p C. ┐(q→q)∧p D. ┐(q∨┐p)→(p∧┐p)
A. 00,11 B. 00,01,11 C. 10,11 D. 10