Algebra Boole'a - zbiór B, wyróżniony jego podzbiór O i I oraz operacje dwuargumentowe + * które dla dowolnych elementów X Y Z zbioru B spełniają następujące aksjomaty; X+Y należy do B ; X+Y=Y+X; X+O=X; Zasada dualizmu - zastępując działanie - działaniem +, a działanie + działaniem - oraz stała I stałą 0, a stałą 0 stałą I w dowolnej tożsamości otrzymujemy również tożsamość; Funkcja logiczna n zmiennych nazywamy funkcje która dla każdego n elementowego wektorowa elementów zbioru {1, 0} lub jest nieokreślona. Formuła boolowska - nazyw. zapis zbudowany ze zmiennych połączonych działaniami + - (negacja); przedstawia funkcję logiczną jeżeli dla kolejnych wektorów przyjmują zgodne wartości; Tablica prawdy - tablica w której każdemu wierszowi odpowiada jeden wektor zmiennych wejściowych dla którego podano odpowiadający mu dziesiętny indeks naturalny oraz wartość wyjściową funkcji {0, 1, -}; Funkcja w pełni określona - funkcja która każdemu możliwemu wektorowi wejściowemu przypisuje określony stan. Brak kresek w tablicy prawdy oraz F' = zb. Pusty. Systemy funkcjonalne pełne - system operantów , jeżeli każda funkcja może być przedstawiona za pomocą formuły zbudowanej przy użyciu tych operantów; Układ funkcji - realizacja złożona z dwóch lub więcej funkcji logicznych. Postać dysjunkcyjna - suma iloczynów, sumy; Literał - zmienna lub zmienna zanegowana; Produkt termalny- iloczyn dwóch lub więcej literałów; Minterm - produkt termalny bez powtarzających się zmiennych; Postać koniunkcyjna - iloczyn sum, iloczyn; Literał - zmienna lub zmienna zanegowana; Suma termalna -suma dwóch lub więcej literałów; Maxterm - suma termalna bez powtarzających się zmiennych; Bramka- prosty obwód elektroniczny realizujący funkcję logiczną; Bramki logiczne to NOT; AND; OR; XOR; NAND; NOR; BUF(C jest jeżeli A i B są takie same); Klucz jest elementem trójkońcówkowym składającym się z dwóch równoważnych linii danych A i B i jednego wejścia sterującego C; (Kiedy C-0 klucz znajduje się w stanie normalnym , kiedy C=1 klucz jest aktywny; Klucz normalnie otwarty- nie przewodzi, A i B węzły rozwarte; Klucz normalnie zamknięty - przewodzi A i B zwarte;) W algebrze kluczy klucz przyjmuje wartość Prawda jeżeli przewodzi; Logika dodatnia - wartość napięcia odpowiada stanowi log 1 ujemna = 0; Cechy układu cyfrowego: * posiada wejście i wyjście; * realizują funkcję(użyteczną); *sygnały są dyskretnymi wartościami napięcia; Układ kombinacyjny - wyjścia zależą od stanu sygnałów na wejściu ukł. Układ sekwencyjny - wyjścia ukł. Zależą od aktualnego i przeszłych stanów na wejściu układu; Układ asynchroniczny - wejścia i wyjścia są czytanie w sposób ciągły; Układ synchroniczny - wejścia i wyjścia układy są czytane w określonych chwilach czasowych; Układ logiczny - zbiór bramek logicznych poł. Ze sobą spełniający założenia; Kombinacyjny układ logiczny - układ dla którego wartości na wejściach ukł. W sposób jednoznaczny wyznaczają wartość na jego wyjściach; Ukł kombinacyjny realizuje funkcje logiczną jest więc równoważną z innymi metodą przedstawienia funkcji logicznych; Pętla - ścieżka która nie przechodząc przez żadną bramkę więcej niż raz wraca z powrotem do pkt. wyjściowego; ukł bez pętli jest uk.ł logicznym kombinacyjnym; Implikantem G funkcji F będzie iloczyn zmiennych taki, że kiedy G()=1 to F()=1; Pokryciem funkcji logicznej nazywamy zbiór implikantów pokrywających jej minitermy. Mocą (rozmiarem) - pokrycia to liczba jego implikantów. Tablica Karnaugh - dwuwymiarowa tablica prawdy; Diagram Vichy - tablica prawdy na płaszczyźnie, Hazard to krótkotrwała szpilki do 0 w stanie 1 lub do 1 w stanie 0 powstał na skutek nie równych propagacji dla różnych ścieżek w układzie; Jeżeli ukł. Ma te szpilki to ma problem z hazardami; Hazardy: * stateczne - wyjście które ma nie zmienić stanu krótkotrwale zmienia stan na przeciwny; *dynamiczne - występują wielokrotne zmiany stanów na wyjściach które zmieniają stan; Hazardy mogą powodować nieprawidłowe działanie układów jeżeli wyjścia na których się pojawiają są interpretowane asynchronicznie; Układy sekwencyjne- takie, w których niektóre wejścia są sterowane przez wyjścia układu (zawierają sprzężenie zwrotne). Ukł. S. Muszą zawierać elementy pamiętające stan w jakim znajduje się układ. Zegar - zmiana stanu układu odbywa się w wyznaczonych chwilach czasowych-jest wywoływana aktywnością sygnały taktującego układ; Zatrzask- układ reagujący na wejścia informacyjne podczas aktywnego poziomu sygnału zegarowego; Przerzutnik flip-flop - układ reagujący na stany wejść informacyjnych podczas zmiany stany sygnały zegarowego; Tablica pobudzeń przerzutnika mówi jakie należy zadać wymuszenie na wejściach przerzutnika, aby otrzymać określoną zmianę stanu; Zależności czasowe: *Czas ustalania (tS) *podtrzymania (tH) i czasy propragacji (tpHL tpLH) ; Sekwencyjny układ synchroniczny - *w każdej pętli znajduje się przynajmniej jeden przerzutnik; *wszystkie przerzutniki mają ten sam typ zegara; * wszystkie wejścia zegarowe przerzutników są sterowane tym samym zegarem; Opis układu sekw. *strukturalnie: schemat logiczny, funkcje pobudzające, funkcje wyjść; * behawioralne - funkcje przejścia, tablica przejścia, tablica stanów, diagram stanów; Dwa automaty są równoważne, gdy dla każdego stanu pierwszego automatu istnieje taki stan w drugim automacie że oba automaty w tych stanach są sobie równoważne i dla każdego stanu w drugim automacie istnieje taki stan w automacie pierwszym że automaty w tych stanach są sobie równoważne; Automatem nie w pełni określonym (automatem niezupełnym) - automat w którym funkcja przejść lub funkcja wyjść nie jest w pełni określona; Relacja pokrywania - automat a1 w stanie q1 jest pokrywany przez automat a2 w stanie q2 wtedy i tylko wtedy gdy słowa wyjśćiowe otrzymane z automatu a1 startującego w stanie q1 i automatu a2 startującego w stanie q2 mogą się różnić jedynie tym, że określonym symbolem wyjściowym automatu a2 odpowiadają symbole nieokreślone w automacie a1; Relacja nieodróżnialności - automat a1 w stanie q1 jest nieodróżnialny od automatu a2 w stanie q2 wtedy i tylko wtedy gdy słowa wyjściowe otrzymywane z automatu a1 startującego w stanie q1 i automatu a2 startującego w stanie q2 są identyczne; Stany niesprzeczne (q1~q2) stany q1 i q2 automatu A nazywamy niesprzecznymi wtedy i tylko wtedy gdy nie istnieje takie słowo, dla którego symbole wyjściowe końcowe są określone i różne od siebie; Stany nieodóżnialne (q1=q2) - stany q1 i q2 automatu A nazywamy nieodróżnialnymi wtedy i tylko wtedy gdy dla każdego słowa wejściowego litery wyjściowe są identyczne;