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.