F1-29

Formy boolowskie 5

• Każdą funkcję logiczną można przedstawić w postaci kanonicznej formy sumacyjnej

• Definiując zbiór 1-mintermów T = { k: f( Xk) = 1} ⊆ N

można tę formę f zapisać w postaci f( X) = ∑ P (X) k

k T

∈

oraz określić funkcję f 1 : T → 1

• Stosowane oznaczenie: Tn ( n – liczba zmiennych) Np. T = {0,1,3} może być dla dowolnego n ≥ 2, natomiast T 3 = {0,1,3} zapewnia jednoznaczność.

•

∀

Jeśli

f( Xk) = 1, to znaczy że T = N oraz f( X) = 1.

k∈ N

• Ułatwiony zapis fb przy użyciu liczb bk i k Np. formę f ( X ) = x x x + x x x + x x x + x x x 1 2 3

1 2 3

1 2 3

1 2 3

można opisać zbiorem TB = {000, 100, 101, 111}

albo krótko zbiorem T 3 = {0,4,5,7} ⊂ N 3

• Definicja zbioru 0-mintermów

F = { k: f( Xk) = 0} ⊆ N

• Funkcja logiczna jest zupełna jeśli T ∪ F = N czyli F = T′

• Negacja funkcji zupełnej

f ( X ) = ∑ P ( X ), F = T′

k

k F

∈

© J. Kalisz, WAT, 2007

F1-29

© J. Kalisz, WAT, 2007