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 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.
Zobacz też Minimalizacja funkcji boolowskich Implikant funkcji boolowskiej Implikant prosty
Kategoria:Logika matematyczna