离散数学 将(p→( q∨┐p))∧q∧r化成等值的且仅含{┐,∧}的公式

如题所述

(p→(q∨¬p))∧q∧r
⇔(p→(¬p∨q))∧q∧r 交换律 排序
⇔(¬p∨(¬p∨q))∧q∧r 变成 合取析取
⇔(¬p∨¬p∨q)∧q∧r 结合律
⇔(¬p∨q)∧q∧r 等幂律

⇔¬(p∧¬q)∧q∧r 德摩根定律

温馨提示：内容为网友见解，仅供参考

当前网址：https://11.t2y.org/zz/v7m7sp472mqv8svqqs.html