(P<->Q)和(Q<->R)的DNF

您的扩展中有错误;你失踪了 R .

(p<->q) ^ (q<->r)

扩大影响:

((p^~q) v (~p^q)) ^ ((q^~r) v (~q^r))

正在分发 ((p^~q) v (~p^q))^ 在右侧:

((p^~q) v (~p^q))^(q^~r) v ((p^~q) v (~p^q))^(~q^r)

正在分发 ^(q^~r) 和 ^(~q^r) 在它们各自的左侧:

(p^~q)^(q^~r) v (~p^q)^(q^~r) v (p^~q)^(~q^r) v (~p^q)^(~q^r)

从这里你可以很容易地简化它。