与えられた論理関数を簡略化するために、ブール代数の法則を使用します。
まず、式を整理します。
f=AˉBˉCˉDˉ+ABˉCˉ+ABˉDˉ+AˉC+AˉBCˉDˉ+ABCD AˉBˉCˉDˉとAˉBCˉDˉをまとめることができます。 AˉCˉDˉ(Bˉ+B)=AˉCˉDˉ(1)=AˉCˉDˉ よって、式は次のようになります。
f=AˉCˉDˉ+ABˉCˉ+ABˉDˉ+AˉC+ABCD ABˉCˉとABˉDˉをまとめることができます。 ABˉ(Cˉ+Dˉ) よって、式は次のようになります。
f=AˉCˉDˉ+ABˉ(Cˉ+Dˉ)+AˉC+ABCD これ以上簡単にできる部分は見当たらないので、これが最終的な式になります。