UNIWERSYTET ZIELONOGÓRSKI
INSTYTUT INFORMATYKI I ELEKTROTECHNIKI
ZAKA
AD INŻYNIERII KOMPUTEROWEJ
Przygotował: mgr inż. Remigiusz Wiśniewski
LABORATORIUM 4: TESTOWANIE KOMBINACYJNEGO UKA
ADU
LOGICZNEGO ZBUDOWANEGO Z BRAMEK LOGICZNYCH
Zagadnienia: podstawowe twierdzenia algebry Boole a, projektowanie większych układów
kombinacyjnych na podstawie tabeli prawdy, System Funkcjonalnie Pełny (SFP).
Wprowadzenie teoretyczne - Algebra Boole a (twierdzenia):
1. A + B = B + A 7. 0 + A = A
1 . A " B = B " A 7. 0 " A = 0
2. (A + B) + C = A + (B + C) 8. 1 + A = 1
2. (A " B) " C = A " (B " C) 8. 1 " A = A
9. A + A = 1
3. A " (B + C) = A " B + A " C
9. A " A = 0
3. A + (B " C) = (A + B) " (A + C)
4. A + A = A 10. A + A " B = A + B
4. A " A = A 10. A " (A + B) = A " B
11. A = A
5. A " B + A " B = A
5. (A + B) " (A + B) = A
Prawa de Morgan a:
6. A + A " B = A
12. (A + B) = A " B
6. A " (A + B) = A
12. (A " B) = A + B
Zad. 1. Zamodelować układ sumatora bitowego pełnego. Sumator bitowy pełny realizuje
sumę arytmetyczną dwóch liczb binarnych. Układ posiada trzy wejścia bitowe: wejścia
informacyjne liczb binarnych A i B oraz wejście przeniesienia Cin. Sumator ma dwa wyjścia:
wyjście informacyjne Y oraz przeniesienia Cout. Na podstawie tabeli prawdy sporządzić
schemat a następnie zamodelować układ i przeprowadzić symulację.
Cin A B Y Cout
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
Zad. 2. Na podstawie podanej tabeli prawdy zapisać (bez minimalizacji) równania wyjść X,
Y, Z, a następnie na sporządzić schemat, zamodelować i przeprowadzić symulację układu:
A B C X Y Z
0 0 0 1 0 0
0 0 1 1 0 0
0 1 0 0 1 1
0 1 1 1 1 0
1 0 0 0 1 1
1 0 1 0 1 1
1 1 0 0 1 1
1 1 1 0 1 0
Zad. 3. Zamodelować układ realizujący funkcję bramki AND przy użyciu wyłącznie bramek
NOR.
Wskazówka: Skorzystać z praw De Morgan a
Zad. 4. Zamodelować układ realizujący funkcję bramki OR przy użyciu wyłącznie bramek
NAND.
Zad. 5. Zamodelować układ realizujący funkcję bramki EX-OR przy użyciu wyłącznie
bramek NOR.
Zad. 6. Zamodelować układ realizujący funkcję bramki EX-NOR przy użyciu wyłącznie
bramek NAND.