F1-32
Formy boolowskie 8
" Gdy nie jest spełniony warunek T *" F = N i pewne stany Xj nie
wpływają na stan sygnału yi
1) redukcja dziedziny funkcji fi(X) do podzbioru Xc ‚" Bn
funkcja częściowa: fi |Xc : Bn B
2) rozszerzenie przeciwdziedziny o stany nieokreślone d
funkcja niezupeÅ‚na: h: Bn {0,1,d}, d Ô! ×,-,"
JeÅ›li zdefiniujemy zbiór D = {k: f(Xk) = d} ‚" N , D `" N
to T *" F *" D = N oraz "f1(X ) + f0(X ) + fd (X ) = 1
X"X
gdzie fd: D 1 lub fd (X ) = Pk (X )
"
k"D
W praktyce zbiór D jest włączany w całości lub częściowo
do zbiorów T i F, podczas minimalizacji fb.
© J. Kalisz, WAT, 2007