| Wahrheitstabelle des IMPLY-Gatters | ||
|---|---|---|
| Eingang | Ausgabe | |
| A | B | A → B |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Das IMPLY-Gatter ist ein digitales Logikgatter , das eine logische Bedingung implementiert . [ 1 ]
Symbole
IMPLY kann in algebraischen Ausdrücken mit dem logischen Symbol des nach rechts zeigenden Pfeils (→) dargestellt werden. Logisch ist es äquivalent zur materialen Implikation und dem logischen Ausdruck ¬A v B.
Es gibt zwei Symbole für IMPLY-Gatter: das traditionelle Symbol und das IEEE- Symbol. Weitere Informationen finden Sie unter Logikgattersymbole .
 |  | |
| Traditionelles IMPLY-Symbol | IEEE IMPLY-Symbol |
Funktionale Vollständigkeit
Obwohl das Implikationsgatter allein nicht funktional vollständig ist , ist es dies in Verbindung mit der konstanten Nullquelle. Dies lässt sich wie folgt zeigen:
Da das Implikationsgatter mit der Hinzufügung der konstanten Nullquelle sowohl das NICHT-Gatter als auch das ODER-Gatter erzeugen kann, kann es auch das NOR-Gatter erzeugen, welches ein universelles Gatter ist.
Siehe auch
- NIMPLY-Tor
- UND-Gatter
- NICHT-Tor
- NAND-Gatter
- NOR-Gatter
- XOR-Gatter
- XNOR-Gatter
- Boolesche Algebra (Logik)
- Logikgatter
Referenzen
- ^ „Implikationslogik“ . Geräte und Schaltungen für zustandsbehaftete Logik- und memristive Sensoranwendungen . Abgerufen am 3. November 2025 .
-
