Per un'applicazione pratica, vedere porta logica.
Il simbolo OR logico viene utilizzato nell'algebra booleana per indicare una disgiunzione inclusiva tra due istruzioni. Una disgiunzione inclusiva è vera se una o entrambe le sue componenti sono vere. Il simbolo più comunemente usato è un segno più (+).
L'uso più semplice del simbolo OR è con una frase composta da due affermazioni. Ad esempio, se A rappresenta l'affermazione "Sta piovendo" e B rappresenta l'affermazione "Sta nevicando", A + B rappresenta l'affermazione "Sta piovendo o nevicando o entrambi".
Il simbolo OR si trova spesso all'interno di istruzioni logiche complesse insieme ad altri simboli. Nell'algebra booleana, la negazione (chiamata anche operazione NOT) è rappresentata da un trattino con una "coda" (¬). L'operazione logica AND è rappresentata da un asterisco (*). Alcuni fatti riguardanti la negazione, l'operazione OR e l'operazione AND sono stati dimostrati in algebra booleana e sono noti come leggi di DeMorgan. Secondo questi teoremi, le seguenti coppie di affermazioni sono logicamente equivalenti per tutti A e per tutti B:
¬ (A + B)
(¬A) * (¬B)
¬ (A * B)
(¬A) + (¬B)
Vedi anche simboli matematici.