F1-32 

© J. Kalisz, WAT, 2008

 

Formy boolowskie  8 

 

 

•  Jeśli nie jest spełniony warunek   ∪ =

T

F

N i pewne stany X

j

 

nie wpływają na stan sygnału  y

i

, to można wykonać 

 

1) redukcję dziedziny funkcji  f

i

(X) do podzbioru  X

c

 

⊂

 B

n

 

 

funkcja częściowa

:  f

i

 

|X

c

 

: B

n

 

→ B 

 

 

2) rozszerzenie przeciwdziedziny o stany 

nieokreślone  

d  

 

funkcja niezupełna

:  h: B

n

 

→ {0,1,d},     

, ,

d

⇔ × − ∅  

 
 

•  Jeśli zdefiniujemy zbiór  D = {k: f(X

k

) = d } 

⊂ N ,   D ≠  N 

 

     to   T 

∪ F ∪ D = N   oraz   

( )

( )

( )

1

0

1

d

X

f X

f X

f X

X

∈

+

+

=

∀

 

 

     gdzie  f

d

: D 

→ 1   lub   

 

d

k

k D

f X

P X

( )

( )

∈

=

∑

 
  

W praktyce zbiór  D  jest włączany w całości lub częściowo 
do zbiorów  T

  

i  F, podczas minimalizacji 

fb

.