Συμπληρωμένοι πίνακες αληθείας NAND/NOR/XOR, NAND-NOR ως αντιστροφείς (οικουμενικές πύλες), XOR-3, θεώρημα De Morgan και υλοποίηση XNOR.
Ζητούμενο: Συμπληρώστε τον πίνακα αληθείας της πύλης NAND (74LS00) και δείξτε ότι με βραχυκυκλωμένες εισόδους λειτουργεί ως NOT.
Πώς σκεφτόμαστε: NAND = AND + NOT: \(Y=\overline{A\cdot B}\). Έξοδος «0» μόνο όταν όλες οι είσοδοι είναι «1». Με ίδιες εισόδους: \(\overline{A\cdot A}=\overline{A}\).
Λύση:
Απάντηση: NAND: 00→1, 01→1, 10→1, 11→0. Με ίδιες εισόδους λειτουργεί ως NOT (¬(A·A)=Ā).
Πρόσεξε:
Ζητούμενο: Συμπληρώστε τον πίνακα αληθείας της πύλης NOR (74LS02) και δείξτε ότι με βραχυκυκλωμένες εισόδους λειτουργεί ως NOT.
Πώς σκεφτόμαστε: NOR = OR + NOT: \(Y=\overline{A+B}\). Έξοδος «1» μόνο όταν όλες οι είσοδοι είναι «0». Με ίδιες εισόδους: \(\overline{A+A}=\overline{A}\).
Λύση:
Απάντηση: NOR: 00→1, 01→0, 10→0, 11→0. Με ίδιες εισόδους λειτουργεί ως NOT (¬(A+A)=Ā).
Πρόσεξε:
Ζητούμενο: Συμπληρώστε τον πίνακα αληθείας της πύλης XOR (74LS86) και υλοποιήστε μία XOR τριών εισόδων με δύο XOR δύο εισόδων.
Πώς σκεφτόμαστε: XOR: «1» όταν οι είσοδοι διαφέρουν, \(Y=A\oplus B\). Η XOR-3 προκύπτει αλυσιδωτά: \((A\oplus B)\oplus C\).
Λύση:
Απάντηση: XOR: 00→0, 01→1, 10→1, 11→0. Η XOR-3 (αλυσίδα δύο XOR-2) δίνει «1» όταν περιττός αριθμός εισόδων είναι «1».
Πρόσεξε:
Ζητούμενο: Επαληθεύστε πειραματικά το θεώρημα De Morgan \(\overline{A\cdot B}=\overline{A}+\overline{B}\) (74LS00, 74LS04, 74LS32).
Πώς σκεφτόμαστε: Υλοποιούμε και τα δύο μέλη και συγκρίνουμε τους πίνακες αληθείας τους — πρέπει να ταυτίζονται.
Λύση:
Απάντηση: Επαληθεύεται: \(\overline{A\cdot B}=\overline{A}+\overline{B}\) (και τα δύο μέλη δίνουν 1,1,1,0).
Πρόσεξε:
Ζητούμενο: Υλοποιήστε μία πύλη XNOR δύο εισόδων χρησιμοποιώντας μία XOR και μία NOT (74LS86, 74LS04).
Πώς σκεφτόμαστε: XNOR = συμπλήρωμα της XOR: \(\overline{A\oplus B}\). Συνδέουμε την έξοδο της XOR σε μια NOT.
Λύση:
Απάντηση: XNOR (XOR+NOT): 00→1, 01→0, 10→0, 11→1 — πύλη ισοδυναμίας («1» όταν οι είσοδοι είναι ίδιες).
Πρόσεξε: