Z Wikipedii, wolnej encyklopedii
Implikant istotny to implikant prosty zawierający co najmniej jeden minterm nie występujący w żadnym innym implikancie prostym.
Rola implikantów istotnych w minimalizacji funkcji[edytuj | edytuj kod]
Forma minimalna funkcji boolowskiej zawiera wszystkie implikanty istotne oraz jak najmniejszą liczbę pozostałych implikantów prostych.
Funkcja z poniższą tabelą prawdy (naniesione zostały wyłącznie mintermy, makstermy zostały pominięte):
indeks
|
x3 x2 x1 x0
|
mintermy
|
0
|
0 0 0 0
|
|
4
|
0 1 0 0
|
|
5
|
0 1 0 1
|
|
6
|
0 1 1 0
|
|
7
|
0 1 1 1
|
|
8
|
1 0 0 0
|
|
10
|
1 0 1 0
|
|
11
|
1 0 1 1
|
|
12
|
1 1 0 0
|
|
14
|
1 1 1 0
|
|
posiada po minimalizacji następujące implikanty:
implikanty proste:
- (10, 11) =
- (0, 4, 8, 12) =
- (4, 5, 6, 7) =
- (4, 6, 12, 14) =
- (8, 10, 12, 14) =
implikanty istotne:
- (10, 11) =
- (0, 4, 8, 12) =
- (4, 5, 6, 7) =
Minimalna postać powyższej funkcji ma dwa warianty:
przy czym w każdym z nich ujęte zostały wszystkie implikanty istotne oraz minimalna liczba implikantów prostych.