请判断复合命题式 ¬(p « q) 和(p∧ ¬q) ∨(¬p∧ q) 是否等价.
举一反三
- 复合命题“(p→q)∧(p→¬q)∧(¬p→q)∧(¬p→¬q)”是否可满足
- 设P,Q为两命题,复合命题“如果P,则Q”称作P与Q的( )。 A: 合取式 B: 蕴含式 C: 析取式 D: 等价式
- 若运用等值演算法证明P→(Q→R)≒(P∧Q)→R ,请判断下列证明过程是否正确 证明: P→(Q→R)≒¬P∨ (Q→R) ≒ ¬P∨ (¬Q ∨R) ≒( ¬P∨¬ Q ) ∨R ≒¬( P∧ Q ) ∨R ≒(P∧Q)→R ∴原等价式成立
- 蕴涵命题 p→q 的等价式为: A: ¬p∨q B: 另外 3 个都是 C: ¬q→¬p D: ¬(p∧¬q)
- 判定下列复合命题形式是否为重言式: ( ¬(p∧q))→((¬ p)∨( ¬ q))