Die Disjunktion gehört wie die Konjunktion und die Negation zu den logischen Verknüpfungsformen der booleschen Algebra. Die Disjunktion ist eine Entweder-Oder-Entscheidung und wird durch das OR-Gatter realisiert. Bei der Disjunktion ist das Ergebnis einer logischen Verknüpfung dann "1", wenn der Eingabewert mindestens eines Gatter-Eingangs "1" ist. Der Ausgang ist "0", wenn alle Eingänge "0" sind.