Minterm

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Minterm to term składający się z literałów połączonych logicznym symbolem koniunkcji, który dla dokładnie jednej kombinacji wejść danej funkcji przyjmuje wartość 1. Minterm zawiera wszystkie literały danej funkcji.

Możliwe mintermy[edytuj | edytuj kod]

Do każdej funkcji boolowskiej z literałami (zmiennymi boolowskimi) istnieje maksymalnie 2n mintermów.

W przypadku trzech zmiennych mintermy brzmią następująco, przy czym to literał zanegowany:

indeks x3x2x1 minterm
0 0 0 0
1 0 0 1
2 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

Mintermy vs. makstermy[edytuj | edytuj kod]

Każdą funkcję logiczną można zapisać jako sumę mintermów. Mintermy są wtedy ujęte jako człony dysjunkcyjnej postaci normalnej. W poniższym przypadku postać ta przyjmuje formę:

Odpowiednio funkcja może też zostać przedstawiona jako iloczyn makstermów, gdzie makstermy są ujęte jako człony koniunkcyjnej postaci normalnej. W poniższym przypadku postać ta przyjmuje formę:

indeks x3x2x1 wartość funkcji minterm maksterm
0 0 0 0 1
1 0 0 1 0
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1

Notacja[edytuj | edytuj kod]

Oprócz powyżej przedstawionej dysjunkcyjnej postaci normalnej mintermy można zanotować również jako listę indeksów konkretnej funkcji, dla których przyjmuje ona wartość 1:

Zobacz też[edytuj | edytuj kod]