离散数学初学者,证明逻辑等价严格证明¬(P↔ Q)与(P∧Q)∧¬(P∧Q)等价,期望有具体步骤

sunshinear 1年前 已收到1个回答 举报

春春踩着何肥肥 春芽

共回答了17个问题采纳率:94.1% 举报

你给的等价式有错.
¬(P↔Q)
¬((P → Q)∧(Q → P))
¬((¬P ∨ Q)∧(¬Q ∨ P))
¬(¬P ∨ Q) ∨ ¬(¬Q ∨ P)
(¬¬P ∧ ¬Q) ∨ (¬¬Q ∧¬P)
(P ∧ ¬Q) ∨ (Q ∧¬ P)
(P ∨ Q) ∧ (P ∨ ¬P) ∧ (¬Q ∧ Q) ∧ (¬Q ∨ ¬P)
(P ∨ Q) ∧ ¬(P∧Q)

1年前

9
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.248 s. - webmaster@yulucn.com