Question

命题公式的化简？

Answer 1

法二：
第一步，消去否定，非（p析取r）逻辑等价于非p合取非r;再看右边，非p合取q。这样一比较，发现两个子公式有共同的一部分，也就是非p合取#。根据析取对合取的分配，可得：命题公式逻辑等价与非p合取（r析取q）。

Answer 2

P→(P∨Q)<=> ┐P∨(P∨Q)
<=>(┐P∨P)∨Q
<=>1∨Q
<=>1
但题目要求构造真值表,这个很简单的,就是过程繁琐

追问

是一道题吗？

为什么你的左边只有p，r去哪了