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
Wyszukiwarka
Podobne podstrony:
F1 28 Formy bool 4F1 26 Formy bool 2F1 31 Formy bool 7F1 30 Formy bool 6F1 32 Formy bool 8F1 27 Formy bool 3F1 25 Formy bool 1F1 32 Formy bool 8F1 33 Formy bool 9próbna 29 marca 2014000805 29więcej podobnych podstron