最小項論理関數

最小項(Minterm)は、論理式を簡約するために用いられる論理関數の表現方法です。最小項は、論理式のすべての変數の組み合わせで構成され、その組み合わせのうちの1つだけが真となり、他はすべて偽となる論理式です。最小項は、論理積(AND)の形で表現され、その名前は、論理式の真となる最小の項であることを意味しています。

最小項は、次のように定義されます:

最小項は、論理式を簡約するために用いられ、その際、すべての最小項をOR(論理和)することで、論理式が最も簡潔になります。

最小項は、論理式の簡約にとても役立ち、デジタルコンピュータの內部では、最小項を用いた論理迴路の設計がよく行われます。