boolean - XORでブール式を単純化する方法は？

Question

ブール式を単純化したい。
表現はこんな感じ

X1 xor (X2 || X3 &&  X4 || x5)

ブール代数の規則を使用してこの式を単純化するにはどうすればよいですか。

さらに、上記のブール式をCNF形式に変換したいので、どうすればよいですか。

Answer 1

A XOR Bそれが同等であると考えるなら(A AND ~B) OR (~A AND B)、残りは簡単なはずです。