如何求是否为重言式

Question

如题所述

Answer 1

(p→(q∧r))∧(¬p→(¬q∧¬r))
⇔ (¬p∨(q∧r))∧(p∨(¬q∧¬r)) 变成 合取析取
⇔ ((¬p∨q)∧(¬p∨r))∧(p∨(¬q∧¬r)) 分配律
⇔ (¬p∨q)∧(¬p∨r)∧(p∨(¬q∧¬r)) 结合律
⇔ (¬p∨q)∧(¬p∨r)∧((p∨¬q)∧(p∨¬r)) 分配律
⇔ (¬p∨q)∧(¬p∨r)∧(p∨¬q)∧(p∨¬r) 结合律
显然不恒为真，因此不是重言式追问

这式子子只能粗略判断吗？能化简得出值为F吗？

本回答被网友采纳