论述题 证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式

【参考答案】

（¬（p∧¬q）∧（¬q∨r）∧¬r）→¬p
⇔¬（¬（p∧¬q）∧（¬q∨r）∧¬r）∨¬p变成合取析取
⇔¬p∨¬（¬（p∧¬q）∧（¬q∨r）∧¬r）交换律排序
⇔¬p∨（（p∧¬q）∨¬（¬q∨r）∨r）德摩根定律
⇔¬p∨（（p∧¬q）∨（q∧¬r）∨r）德......

(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)