Or

Enciclopedia della Matematica (2013)

or


or uno degli operatori logici fondamentali dell’ algebra di Boole, detto anche somma logica e indicato con +. Corrisponde al connettivo ∨ della disgiunzione. Tale operatore binario, dati due enunciati A e B, ne restituisce un terzo, AB, che è vero se almeno uno dei due enunciati è vero ed è falso nel caso in cui sia A sia B siano falsi. La tavola di verità che esprime l’azione dell’operatore or è quindi la seguente:

table

L’operatore or gode della proprietà associativa e, per estensione, la sua applicazione a un qualsiasi numero di espressioni booleane dà 1 se e solo se almeno una di esse ha valore 1 (è vera). Esso realizza quindi una funzione logica che assegna il valore 0 in uscita se e solo se tutti gli ingressi valgono 0 e assegna valore 1 in uscita in tutti gli altri casi.

TAG

Proprietà associativa

Espressioni booleane

Algebra di → boole

Operatore binario

Tavola di verità