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) = Pk (X)
"
k"T
oraz określić funkcję f1 : T 1
" Stosowane oznaczenie: Tn (n  liczba zmiennych)
Np. T = {0,1,3} może być dla dowolnego n e" 2,
natomiast T3 = {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 ) = x1x2x3 + x1x2x3 + x1x2x3 + x1x2x3
można opisać zbiorem TB = {000, 100, 101, 111}
albo krótko zbiorem T3 = {0,4,5,7} ‚" N3
" Definicja zbioru 0-mintermów
F = {k: f(Xk) = 0} Ä…" N
" Funkcja logiczna jest zupełna jeśli
T *" F = N czyli F = T2
" Negacja funkcji zupełnej
f ( X ) = Pk ( X ), F = T2
"
k"F
© J. Kalisz, WAT, 2007
F1-29
© J. Kalisz, WAT, 2007