Implikant istotny

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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.

Zobacz też[edytuj | edytuj kod]