Minterm
Minterm – 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
edytujDo każdej funkcji boolowskiej z literałami (zmiennymi boolowskimi) istnieje maksymalnie 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
edytujKaż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
edytujOpró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: