F1-19
Podstawy teorii układów logicznych
" Układ logiczny  wielowrotnik o n wejściach i m wyjściach
x1 y1
x2 y2
xn ym
" Sygnały binarne x, y " B
" Wektor wejściowy: X = (x1, x2,..., xn)
" Wektor wyjściowy: Y = (y1, y2,..., ym)
" Stany wejść Xj i wyjść Yl otrzymuje się przy nadaniu
elementom wektorów wartości zerojedynkowych.
Np. X25 = (0, 1, 1, 0, 0, 1)
" Zbiór X występujących stanów Xj o postaci X ą" Bn
jest podzbiorem iloczynu kartezjańskiego Bn,
który zawiera wszystkie możliwe 2n = N stanów.
" Numeracja stanów Xj : j"{0, 1, 2,..., N  1} = N.
Np. n = 2: X = B2 = {X0, X1, X2, X3} = {00, 01, 10, 11}
" Dodatkowe oznaczenie zbioru Nn bezpośrednio wskazuje na
liczbę sygnałów wejściowych.
Np. N3 = {0, 1, 2,..., 7}
" Analogicznie zbiór Y występujących stanów Yl o postaci
Y ą" Bm jest podzbiorem iloczynu kartezjańskiego Bm,
który zawiera wszystkie możliwe 2m = M stanów,
l"{0, 1, 2,..., M  1} = M.
Prezentacje angielskie: Google>Advanced> logic implicants. Np.
http://mwnl.snu.ac.kr/~schoi/Courses/201/Course_Materials/
w tym: 2.CH02.rev.ppt
� J. Kalisz, WAT, 2007