Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Dr Galina Cariowa. M. Morris Mano, Charles R. Kime – Podstawy projektowania układów logicznych i komputerów, Wydawnictwa Naukowo- Techniczne, Giovanni.

Podobne prezentacje


Prezentacja na temat: "Dr Galina Cariowa. M. Morris Mano, Charles R. Kime – Podstawy projektowania układów logicznych i komputerów, Wydawnictwa Naukowo- Techniczne, Giovanni."— Zapis prezentacji:

1 Dr Galina Cariowa

2 M. Morris Mano, Charles R. Kime – Podstawy projektowania układów logicznych i komputerów, Wydawnictwa Naukowo- Techniczne, Giovanni De Micheli - Synteza i optymalizacja układów cyfrowych, Wydawnictwa Naukowo-Techniczne, Majewski Władysław - Układy logiczne, Podręczniki akademickie EiT, Jan Pienkos, Janusz Turczyński - Układy scalone TTL w systemach cyfrowych, Wydawnictwa Komunikacji i Łączności, Wilkinson Barry - Układy cyfrowe, Grocki Wojciech - Układy cyfrowe, Tyszer Jerzy, Mrugalski Grzegorz-Technika cyfrowa. Zbiór zadań z rozwiązaniami, Wydawnictwa BCT. LITERATURA:

3 George Boole. ( ) W 1854 r. opublikował książkę wprowadzającą matematyczną teorię logiki.

4 Algebra Boole’a Początkowo algebra Boole’a służyła do analizy zdań logicznych i procesów myślowych. Obecnie algebra boolowska jest stosowana do opisu połączeń bramek cyfrowych oraz do analizy i projektowania binarnych układów cyfrowych.

5 Algebra Boole’a Układy cyfrowe są elementami sprzętu elektronicznego, które przetwarzają informację binarną. Układy cyfrowe są implementowane przy użyciu tranzystorów połączonych ze sobą wewnątrz układów scalonych.

6 Algebra Boole’a Algebra Boole’a jest algebrą związaną ze zmiennymi binarnymi, które mogą przyjmować dwie dyskretne wartości, 0 i 1, oraz matematycznymi funkcjami logicznymi, które operują na tych zmiennych.

7 Logika dwuwartościowa. Trzy podstawowe operacje logiczne związane ze zmiennymi binarnymi to AND, OR oraz NOT. AND. Na przykład, Z=XY lub. Ta operacja jest przedstawiana za pomocą kropki lub brakiem operatora. Alternatywnym symbolem dla symbolu ”kropka” jest symbol. 1. Operacja AND – mnożenie logiczne, koniunkcja

8 Logika dwuwartościowa Interpretacja logiczna AND : Z=1 wtedy i tylko wtedy, gdy X=1 i Y=1, w przeciwnym razie Z=0. Poniższe równania definiują operację logiczną AND:

9 Logika dwuwartościowa Ta operacja przedstawiana jest symbolem dodawania : Z=X+Y. Alternatywnym symbolem dla symbolu +, oznaczającego OR, jest symbol. 2. Operacja OR – dodawanie logiczne, dysjunkcja

10 Logika dwuwartościowa Interpretacja logiczna OR : Z=1, jeżeli X=1 lub Y=1, lub obie zmienne X=1 i Y=1. Z=0 wtedy i tylko wtedy, gdy X=0 i Y=0. Poniższe równania definiują operację logiczną OR: 0+0=0 0+1=1 1+0=1 1+1= 1 W arytmetyce binarnej 1+1=10.

11 Logika dwuwartościowa Tę operację symbolizuje kreska nad zmienną:. Oznacza to, że jeżeli X=1, to Z=0, ale jeśli X=0, to Z=1. 3. Operacja NOT – negacja, dopełnienie.

12 Logika dwuwartościowa Tablica prawdy (ang.truth table) dla danej operacji jest tablicą kombinacji wartości binarnych przedstawiająca zależność między wartościami przyjmowanymi przez zmienne a wartościami stanowiącymi wynik tej operacji.

13 Bramki logiczne

14 Nazwy zakresów napięć wyjściowych i wejściowych : WYSOKI STAN LOGICZNY (H) i NISKI (L) PRAWDA (T) i FAŁSZ (F ) 1 i 0 Zakładamy, że PRAWDA i 1 są związane z wysokimi napięciami, H, a FAŁSZ i 0 – z niskimi, L.

15 Rodzaje bramek

16 Bramka AND

17 Bramka OR y=x 1 + x 2 (dysjunkcja)

18 Bramka NOT (negacja, dopełnienie) Kółeczko na wyjściu symbolu wskazuje na inwersję

19 Bramka NAND

20 Bramka NOR

21 Bramka XOR (ExOR, Albo) nierównoważność

22 Bramka ExNOR

23 Algebra Boole’a Wyrażenie boolowskie jest to wyrażenie algebraiczne utworzone z użyciem zmiennych binarnych, stałych 0 i 1, symboli operacji logicznych i nawiasów. Projektowanie układów logicznych jest oparte na przekształceniu wyrażeń boolowskich.

24 Algebra Boole’a 1)za pomocą równania boolowskiego, które składa się ze zmiennej binarnej, poprzedzającej znak równości i wyrażenia boolowskiego. Na przykład: F=1, jeśli X=1 lub Y=0 i Z=1. Dwie części wyrażenia, X oraz, nazywamy wyrazami (ang. term) wyrażenia F, a zmienne X, Y, Z - literalami. Funkcja boolowska może być opisana na dwa sposoby:

25 Algebra Boole’a 2) Funkcja boolowska może być przedstawiona za pomocą tablicy prawdy. Tablica prawdy funkcji zawiera spis wszystkich kombinacji 0 i 1, które mogą być przypisane zmiennym binarnym, oraz spis wartości funkcji dla każdej kombinacji binarnej. Liczba wierszy tablicy prawdy wynosi, gdzie n jest liczbą zmiennych funkcji.

26 Algebra Boole’a X Y Z F Kombinacje binarne tablicy prawdy stanowią n-bitowe liczby binarne, odpowiadające liczeniu w systemie dziesiętnym od 0 do Tablica prawdy funkcji

27 Istnieje tylko jeden sposób przedstawienia funkcji boolowskiej za pomocą tablicy prawdy. Gdy funkcja jest przedstawiona w postaci równania boolowskiego, można ją wyrazić na wiele sposobów, ponieważ można przekształcać wyrażenia boolowskie zgodnie z prawami algebry Boole’a.

28 Prawa Algebry Boole’a

29 Prawo przemienności Prawa Algebry Boole’a Kolejność, w jakiej zmienne są zapisane, nie wpływa na wynik (operacji OR i AND).

30 Prawa Algebry Boole’a Prawo łączności Wynik operacji stosowanej do trzech zmiennych nie zależy od kolejności pobierania zmiennych, nawiasy mogą być usunięty.

31 Prawo rozdzielności Prawa Algebry Boole’a Drugie prawo rozdzielności jest dualne względem zwykłego (pierwszego) prawa rozdzielności.

32 Prawa Algebry Boole’a Wyrażenie dualne do danego wyrażenia algebraicznego uzyskamy, zamieniając ze sobą operacje AND i OR oraz zastępując jedynki zerami i zera jedynkami. Wyrażenie dualne nie jest równe oryginalnemu wyrażeniu.

33 Prawa Algebry Boole’a Prawa De Morgana (dla dwóch zmiennych) Prawa De Morgana ( dla wielu zmiennych )

34 Weryfikacja twierdzenia De Morgana

35 Prawa idempotentności Prawa sprzeczności Prawa Algebry Boole’a

36 Prawo podwójnej negacji Dwukrotne dopełnienie przywraca zmienną do jej pierwotnej wartości.

37 Pierwsze prawo identyczności Drugie prawo identyczności Stałe 0 Stała 1 Prawa Algebry Boole’a

38 Twierdzenie o zgodności ( ang. consensus theorem ) Dowód twierdzenia :

39 Prawa Algebry Boole’a Każdą zmienną w tożsamości można zastąpić wyrażeniem boolowskim, a tożsamość dalej jest spełniona. Przykład. Mamy wyrażenie (A+B)(A+CD). Przyjmiemy X=A, Y=B, Z=CD. Na mocy drugiego prawa rozdzielności mamy: (A+B)(A+CD)=A+BCD.

40 Zastosowanie algebry Boole’a. Przekształcenie wyrażeń boolowskich

41 Udowodnij, że lewa strona jest równa prawej. prawo przemienności drugie prawo rozdzielności prawo sprzeczności prawo przemienności Zastosowanie algebry Boole’a drugie prawo rozdzielności

42 Zastosowanie algebry Boole’a Udowodnij, że lewa strona jest równa prawej L=L= L=P Prawo De Morgana

43 Zastosowanie algebry Boole’a Znajdowanie dopełnień: - przez zamianę jedynek na zera i zer na jedynki w kolumnie tablicy prawdy opisującej wartości funkcji; - algebraicznie, stosując prawa De Morgana; - na podstawie wyrażeń dualnych.

44 Zastosowanie algebry Boole’a Znaleźć dopełnienie funkcji prawo De Morgana

45 Zastosowanie algebry Boole’a Znaleźć dopełnienie funkcji Bierzemy w nawiasy wyrazy pierwotnej funkcji Zapisujemy wyrażenie dualne do funkcji F Negujemy każdy literał

46 Standardowe postacie wyrażeń boolowskich Formuły standardowe zawierają ; wyrazy iloczynowe (np., ) oraz wyrazy sumacyjne (np., ) Iloczyn, w którym wszystkie zmienne występują dokładnie jeden raz, zarówno w postaci prostej, jak i zanegowanej, nazywa się mintermem.

47 Standardowe postacie wyrażeń boolowskich Minterm – przedstawia sobą dokładnie jedną kombinację zmiennych binarnych w tablicy prawdy; – ma wartość 1 dla tej kombinacji i 0 dla wszystkich pozostałych kombinacji.

48 Własności mintermów 1. Dla n zmiennych istnieje dokładnie różnych mintermów. 2. Dowolna funkcja boolowska może być wyrażona w postaci sumy logicznej mintermów. 3. Dopełnienie funkcji zawiera te mintermy, których nie zawiera pierwotna funkcja. 4. Funkcja, która zawiera wszystkie mintermów, jest równa logicznej 1.

49 Mintermy trzech zmiennych x y z Wyraz iloczynowy Symbol mintermu m0m0 m1m1 m2m2 m3m3 m4m4 m5m5 m6m6 m7m m m m m m m m m

50 Standardowe postacie wyrażeń boolowskich Funkcja boolowska może być przedstawiona algebraicznie na podstawie tablicy prawdy przez utworzenie sumy logicznej wszystkich mintermów, dla których funkcja daje wartość 1. Takie wyrażenie nosi nazwę sumy mintermów. Suma mintermów stanowi standardową postać wyrażenia logicznego.

51 Standardowe postacie wyrażeń boolowskich Wyraz sumacyjny, który zawiera wszystkie zmienne w postaci prostej bądź zanegowanej nazywany jest makstermem. Maksterm – przedstawia sobą dokładnie jedną kombinację zmiennych binarnych w tablicy prawdy; – ma wartość 0 dla tej kombinacji i 1 dla wszystkich pozostałych kombinacji.

52 Makstermy trzech zmiennych x y z Wyraz sumacyjny Symbol makstermu M0M0 M1 M1 M2M2 M3M3 M4M4 M5M5 M6M6 M7M x+y+z M M M M M M M M

53 Standardowe postacie wyrażeń boolowskich Funkcja boolowska może być przedstawiona algebraicznie na podstawie tablicy prawdy przez utworzenie iloczynu logicznego wszystkich makstermów, dla których funkcja daje wartość 0. Takie wyrażenie nosi nazwę iloczynu sum. Iloczyn makstermów stanowi standardową postać wyrażenia logicznego.

54 Sposoby zapisu funkcji logicznych Zapis algebraiczny Tablica prawdy Wektor prawdy Postać DCF Postać CCF Postać FDCF Postać FCCF

55 Zapis algebraiczny Funkcja boolowska jest opisana za pomocą równania boolowskiego składającego ze zmiennej binarnej, która poprzedza znak równości i wyrażenie boolowskie. Opcjonalnie, po identyfikatorze funkcji następuje, ujęta w nawiasy, lista zmiennych, rozdzielonych przecinkami. Przykład..

56 Tablica prawdy Tablica prawdy (ang.Truth Table) to zestawienie w kolejnych wierszach tablicy wszystkich możliwych kombinacji wartości logicznych argumentów funkcji zdaniowej i dokładnie należących od nich wartości logicznych tejże funkcji. Kombinacje te muszą być uporządkowane tak, aby tworzyły kolejne liczby naturalne zapisane w systemie dwójkowym.

57 Tablica prawdy bramki AND

58 Wektor prawdy

59 Standardowe postaci funkcji boolowskich 1. Postać DCF ( postać dysjunkcyjna normalna)- to jest dysjunkcja koniunkcji normalnych, na przykład : 2. Postać CCF ( postać koniunkcyjna normalna) - to jest koniunkcja dysjunkcji elementarnych, na przykład:

60 Standardowe postaci funkcji boolowskich To postać dysjunkcyjna, której składnikami są mintermy (ang. minterm – to iloczyn wszystkich zmiennych danej funkcji, przy czym zmienne te mogą występować jako proste lub zanegowane) - jest to tzw. konstytuenta „1”. 3. Postać FDCF (SOP) Full Disjunktive Canonical Form (Sum of Products)

61 Standardowe postaci funkcji boolowskich To postać koniunkcyjna, której składnikami są makstermy (ang. maksterm – to suma wszystkich zmiennych danej funkcji, przy czym zmienne te mogą występować jako proste lub zanegowane) - jest to tzw. konstytuenta „0”. 4. Postać FCCF (POS) Full Conjunctive Canonical Form (Product of Sum)

62 Uzyskiwanie postaci FDCF i FCCF

63 1. Przekształcenia algebraiczne

64 1. Przekształcenia algebraiczne (c.d.) Przykład. Przedstawić funkcję w postaci FDCF.

65 1.Przekształcenia algebraiczne

66 Przykład. Przedstawić funkcję w postaci FCCF. postać CCF

67 2. Algorytm tworzenia FDCF na podstawie tablicy prawdy Z tablicy wybrać zestawy zmiennych, dla których funkcja równa się 1; Dla tych zestawów stworzyć konstytuenty jedynki, zawierające zmienną z inwersją, jeśli przybiera ona w zbiorze wartość 0 i bez inwersji, jeśli przybiera ona postać 1; Zbudować dysjunkcię uzyskanych konstytuent 1.

68 2. Algorytm tworzenia FCCF na podstawie tablicy prawdy Z tablicy wybrać zestawy zmiennych, dla których funkcja równa się 0; Dla tych zestawów stworzyć konstytuenty zera, zawierające zmienną z inwersją, jeśli przybiera ona w zbiorze wartość 1 i bez inwersji, jeśli przybiera ona postać 0; Zbudować koniunkcję uzyskanych konstytuent 0.

69 Tworzenie funkcji w postaci FDCF na podstawie tablicy prawdy Przykład.

70 Tworzenie funkcji w postaci FCCF na podstawie tablicy prawdy

71 Tworzenie funkcji w postaci FDCF i FCCF na podstawie tablicy prawdy

72

73 Dziękuję za uwagę

74 Prawa Algebry Boole’a Tablice prawdy do weryfikacji twierdzenia De Morgana x+yx+yx+yx+y y x x yx y y x y x


Pobierz ppt "Dr Galina Cariowa. M. Morris Mano, Charles R. Kime – Podstawy projektowania układów logicznych i komputerów, Wydawnictwa Naukowo- Techniczne, Giovanni."

Podobne prezentacje


Reklamy Google