F1-32

© J. Kalisz, WAT, 2007

Formy boolowskie 8

• Gdy nie jest spełniony warunek ∪ =

T

F

N i pewne stany X

j

nie

wpływają na stan sygnału y

i

1) redukcja 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

.