A. 你是杰克吗? B. 凡石头都可练成金。 C. 如果2+2=4,那么雪是黑的。 D. 如果1+2=4,那么雪是黑的。
A. 永真式 B. 矛盾式 C. 非永真式的可满足式 D. 析取范式
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