如何简化命题逻辑表达式（DNF）？

Question

至此，我简化了原始问题

((P∧¬R)∨(¬Q∨R))∧((Q∧¬R)∨(¬P∨R))

，我被困在这里。 下一步将是什么？ 谢谢您的帮助！！

Answer 1

我正在和你解决。

提示1： ((P∧Q)∨R) = (PVR) ∧ (QVR)

提示2： P ∧ True = P

提示3： PV True = True

回答

最后将是正确的。 检查一次。

下一步将是

= [(P V (~Q V R)) ^ ( ~R V (~Q V R))]
 ^[(Q V (~P V R)) ^ ( ~R V (~P V R))]

= (P V ~Q V R) ^ ( ~p V Q V R)
= R V (  (P V ~Q) ^ ( Q V ~P))
= R v ((  Q -> P ) ^ ( P -> Q))   
= R V (P <-> Q)

只要R为True，就为True。 其他

  P  Q   P<->Q
------------------
   F F      T
   F T      F
   T F      F
   T T      T

因此，它符合真值表。 如上面的小支线所示。

Answer 2

以下表达式是等效的：

（p⇒r）⇔（q⇒r）

（¬pvr）⇔（¬qvr）

（¬p⇔¬q）vr

（p⇔q）vr

（p∧q）v（¬p∧¬q）vr

真相表：

p  q  r  result
---------------
0  0  0    1
0  0  1    1
0  1  0    0
0  1  1    1
1  0  0    0
1  0  1    1
1  1  0    1
1  1  1    1