F1-33

© J. Kalisz, WAT, 2008

Formy boolowskie 9

• Jeśli do kanonicznej formy sumacyjnej są włączone mintermy

ze zbioru D, to ich odpowiedniki liczbowe umieszcza się w
nawiasach.

• Np. w zbiorze

T

B

= {0111,1010,1011,(0011, 1100, 1111)}

lub równoważnym zbiorze

T

4

= {7, 10, 11, (3, 12, 15)}

który odpowiada tablicy stanów

k x

3

x

2

x

1

x

0

y

0 0 0 0 0

0

1 0 0 0 1

0

2 0 0 1 0

0

3 0 0 1 1

d

(= 1)

4 0 1 0 0

0

5 0 1 0 1

0

6 0 1 1 0

0

7 0 1 1 1

1

8 1 0 0 0

0

9 1 0 0 1

0

10 1 0 1 0

1

11 1 0 1 1

1

12 1 1 0 0

d

(= 0)

13 1 1 0 1

0

14 1 1 1 0

0

15 1 1 1 1

d

(= 1)