Ein Logikgatter, auch nur Gatter, (engl. (logic) gate) ist eine Anordnung (heutzutage praktisch immer eine elektronische Schaltung) zur Realisierung einer booleschen Funktion, die binäre Eingangssignale zu einem binären Ausgangssignal verarbeitet. Die Eingangssignale werden durch Implementierung logischer Operatoren, wie der Konjunktion (Und-Gatter), der Disjunktion (Oder-Gatter), der Kontravalenz (Exklusiv-Oder-Gatter) oder der Negation (Nicht-Gatter) zu einem einzigen logischen Ergebnis umgewandelt und auf das Ausgangssignal abgebildet. Neben den genannten Gatterfunktionen sind auch die Entsprechungen mit negiertem Ausgang zu nennen: NAND-Gatter (Nicht-Und), NOR-Gatter (Nicht-Oder), XNOR-Gatter (Nicht-Exklusiv-Oder); deutsche Bezeichnungen der letztgenannten Gatter sind unüblich.
Prinzipiell lassen sich alle logischen Verknüpfungen als Gatter realisieren. Mehrere Logikgatter kann man beispielsweise zu einem Flipflop, Latch oder Multiplexer zusammenschalten, aus mehreren Flipflops kann man Datenspeicher und Zähler erstellen, und aus mehreren dieser Schaltungen kann man zum Beispiel einen Mikroprozessor zusammenstellen. Einzelne Logikgatter werden als integrierter Schaltkreis (IC) angeboten; in komplexeren Schaltungen kommen sie mitunter innerhalb eines ICs zig-millionenfach vor. Sie lassen sich aber auch aus diskreten elektronischen Bauelementen, mittels Schalter oder Relais aufbauen oder gar mittels fluidischen Bauelementen darstellen. Ebenfalls gibt es in historischen Rechenmaschinen mechanische Aufbauten.
Zur Implementierung und Vereinfachung einer komplexen logischen Funktion wird die so genannte Schaltalgebra angewendet.
Die Anzahl von Gatteräquivalenten dient als Maß für die logische Komplexität einer Schaltung.