Símbolo OR lógico

Para uma aplicação prática, veja logic gate .

O símbolo OR lógico é usado em álgebra booleana para indicar uma disjunção inclusiva entre duas instruções. Uma disjunção inclusiva é verdadeira se um, ou ambos, de seus componentes forem verdadeiros. O símbolo mais comumente usado é um sinal de mais (+).

O uso mais simples do símbolo OR é com uma frase que consiste em duas afirmações. Por exemplo, se A representa a expressão 'Está chovendo' e B representa a expressão 'Está nevando', então A + B representa a expressão 'Está chovendo ou nevando, ou ambos.'

O símbolo OR é freqüentemente encontrado dentro de expressões lógicas complexas junto com outros símbolos. Na álgebra booleana, a negação (também chamada de operação NOT) é representada por um traço com uma 'cauda' (¬). A operação lógica E é representada por um asterisco (*). Certos fatos envolvendo negação, a operação OR e a operação AND foram comprovados na álgebra booleana, e são conhecidos como Leis de DeMorgan. According to these theorems, the following pairs of statements are logically equivalent for all A and for all B:

¬(A + B)
(¬A) * (¬B)

¬(A * B)
(¬A) + (¬B)

Also see Mathematical Symbols .