我正试图以析取正常形式写介词(P<->Q)^(Q<->R)。到目前为止，我得到((p^~q)v(q^~p)) ^ ((q^~p)v(p^~q))，我被困在这里。我想知道接下来的步骤是什么。谢谢！
答案 0 :(得分：1)
您的扩展中存在错误;您遗失了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)
从这里你可以轻松地简化它。