用等值演算方法证明以下等值式
来源：动视网
责编：小OO
时间：2024-12-26 04:59:16
用等值演算方法证明以下等值式
⇔；¬；((¬；p∨q)∧(¬；q∨p)) 变成 合取析取。⇔；¬；(¬；p∨q)∨¬；(p∨¬；q) 德摩根定律。⇔；(p∧¬；q)∨(¬；p∧q) 德摩根定律。⇔；(p∨(¬；p∧q))∧(¬；q∨(¬；p∧q)) 分配率。⇔；(p∨q)∧(¬；q∨¬；p) 吸收率。⇔；(¬；q→p)∧(p→¬；q) 等值蕴含式。⇔；p↔；¬；q。
导读⇔；¬；((¬；p∨q)∧(¬；q∨p)) 变成 合取析取。⇔；¬；(¬；p∨q)∨¬；(p∨¬；q) 德摩根定律。⇔；(p∧¬；q)∨(¬；p∧q) 德摩根定律。⇔；(p∨(¬；p∧q))∧(¬；q∨(¬；p∧q)) 分配率。⇔；(p∨q)∧(¬；q∨¬；p) 吸收率。⇔；(¬；q→p)∧(p→¬；q) 等值蕴含式。⇔；p↔；¬；q。
¬(p↔q) ⇔ ¬((p→q)∧(q→p)) 变成 合取析取
⇔ ¬((¬p∨q)∧(¬q∨p)) 变成 合取析取
⇔ ¬(¬p∨q)∨¬(p∨¬q) 德摩根定律
⇔ (p∧¬q)∨(¬p∧q) 德摩根定律
⇔ (p∨(¬p∧q))∧(¬q∨(¬p∧q)) 分配率
⇔ (p∨q)∧(¬q∨¬p) 吸收率
⇔ (¬q→p)∧(p→¬q) 等值蕴含式
⇔ p↔¬q
用等值演算方法证明以下等值式
⇔；¬；((¬；p∨q)∧(¬；q∨p)) 变成 合取析取。⇔；¬；(¬；p∨q)∨¬；(p∨¬；q) 德摩根定律。⇔；(p∧¬；q)∨(¬；p∧q) 德摩根定律。⇔；(p∨(¬；p∧q))∧(¬；q∨(¬；p∧q)) 分配率。⇔；(p∨q)∧(¬；q∨¬；p) 吸收率。⇔；(¬；q→p)∧(p→¬；q) 等值蕴含式。⇔；p↔；¬；q。
