論理回路（ディジタル回路）での乗法標準形の式の簡単化について。吸収則使

論理回路（ディジタル回路）での乗法標準形の式の簡単化について。吸収則使用。
表記上、否定のバーをダッシュ（'）で表しています。

Y = (X1'+X2'+X3') (X1'+X2+X3') (X1'+X2+X3) (X1+X2'+X3') (X1+X2'+X3) (X1+X2+X3)
これを吸収則にて簡単化すると、
Y = (X2'+X3') (X1'+X2) (X2+X3)
となるそうなのですが、最初の式のどことどこで吸収則を使うのか、また吸収則は同じ項を何個増やしてもOKでしたがどの項をふやせばいいかわかりません。解法を教えてください。

また、吸収則のわかりやすいサイトがあれば教えてください。

No.1 ベストアンサー 回答者： Mr_Holland 回答日時： 2010/01/21 01:05

　式変形をするには、Ｙ’をとった方が簡単ですが、吸収則を使うのであれば、右辺の適当な２つ項を掛け合わせると良いと思います。

　（Ｘ１’＋Ｘ２’＋Ｘ３’）（Ｘ１’＋Ｘ２＋Ｘ３’）
＝｛（Ｘ１’＋Ｘ３’）（Ｘ１’＋Ｘ３’）＋（Ｘ２’＋Ｘ２）（Ｘ１’＋Ｘ３’）＋Ｘ２’Ｘ２｝
＝｛（Ｘ１’＋Ｘ３’）＋（Ｘ１’＋Ｘ３’）＋０｝　（∵　Ａ・Ａ＝Ａ（同一則）、Ａ＋Ａ’＝１（補元則）、Ａ・Ａ’＝０（補元則）　）
＝（Ｘ１’＋Ｘ３’）　（∵　Ａ＋Ａ＝Ａ（同一則）、Ａ＋０＝Ａ（吸収則）　）


　あとは、３番目の項と６番目の項を組み合わせ、４番目と５番目の項を組み合わせてください。

　ちなみに、答えは、

　　Ｙ＝Y = ( X1' +X3') (X1'+X2) (X2+X3)　　・・・１番目の項のＸ２’→Ｘ１’

ではないですか？