論理回路について質問です。

主加法標準形の簡略化は
カルノー図やクワイン・マクラスキー法でやる
ってのはわかるんですが、

主乗法標準形の簡略化はどうやればいいんですか？

例えばこんなのがあります。
（x1+~x2+x3+~x4)(x1+~x2+~x3+~x4)(~x1+x2+~x3+~x4)(~x1+~x2+~x3+~x4)
~x1はx1の否定です。
これはどう簡略化すればいいのでしょうか？

一般的な方法も具体的に教えていただければありがたいです。

無知ですいません。お願いします。

No.2 ベストアンサー 回答者： Tacosan 回答日時： 2010/01/31 23:24

主乗法標準形と主加法標準形は互いに双対の関係にあるから, 一方でできるなら他方もできるはず. 実質的には同じ.

No.1 回答者： maccha_neko 回答日時： 2010/01/31 20:59

ド・モルガンの法則を使って乗法部分を加法に直してしまったらどうでしょか？