F1-33

© J. Kalisz, WAT, 2007

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

T

4

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

k x

1

x

2

x

3

x

4

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)