Unter einer ODER-Verknüpfung (Disjunktion, OR-Verknüpfung) versteht man eine logische ODER-Verknüpfung.  Sie entstammt der Booleschen Algebra und führt zu WAHR (TRUE oder 1), wenn eine oder alle Bedingung(en) WAHR sind und zu FALSCH, (FALSE oder 0)  wenn alle Bedingungen FALSCH sind. A ODER B ist WAHR, wenn A WAHR ist, oder wenn B WAHR ist, oder wenn A und B WAHR sind. A ODER B ist FALSCH, wenn A und B FALSCH sind.                                                     

In der digitalen Steuerungstechnik werden einzelne Steuersignale am Eingang durch logische Verknüpfungen zu einem Ausgangssignal verarbeitet. Dabei gibt es in dieser Schaltalgebra nur zweiwertige Binärsignale  mit den Logikzuständen 1 oder 0 bzw. mit dem Pegel High (Spannung eingeschaltet) oder Low (Spannung aus). Bei der Verknüpfung der Signale gelten Rechenregeln, die in der Mathematik durch die sogenannte Boolesche Logik  (auch Boolesche Algebra) festgelegt sind. Jede beliebige logische Verknüpfung lässt sich auf die Kombination von 3 einfachen Grundfunktionen zurückführen: UND (Konjunktion) ODER (Disjunktion) und NICHT (Negation).  In der Praxis werden mit den universellen Bausteinen NAND-Gatter (Sheffer-Funktion) und NOR-Gatter (Peirce-Funktion) alle logischen Verknüpfungen ersetzt.