論理式の簡単化

質問

ｆ＝～ｘ１・～ｘ３∨ｘ２・～ｘ３∨ｘ１・～ｘ３∨～ｘ１・～ｘ２∨～ｘ１・ｘ２・ｘ３

※（否定の「バー」を「～」、「かつ」を「・」、「または」を「∨」であらわしています）

を論理式の変形（ブール代数を使って）で簡単化するという問題なのですが、どう変形したらいいのかわかりません。
ちなみにカルノー図を使って簡単化することはできました。
（ｆ＝～ｘ１・～ｘ３∨ｘ１・ｘ３∨～ｘ１・～ｘ２）

途中式と計算の説明をしていただけたらと思います。

よろしくお願いします。

回答No.1

Tacosan

ｆ＝～ｘ１・～ｘ３∨ｘ１・ｘ３∨～ｘ１・～ｘ２
がどうやって出たのかさっぱりわからんのだけど, クワイン・マクラスキー法でもやってみたら?