論理式の簡単化

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

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

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

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

よろしくお願いします。

No.1 回答者： Tacosan 回答日時： 2012/11/12 12:34

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

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