Disjunció

Diagrama de Venn de
$~A \or B$

En lògica i matemàtiques una disjunció o disjunció lògica es un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase, i per tant dóna com a resultat verdader si una de les dues alternatives es verdadera. Lingüísticament s'expressa com "o", per exemple, "A v B" es llig A o B.

Notació

Porta OR

En lògica i matemàtiques es simbolitza amb el connector ∨; en electrònica +; en programació | o or. ∨ deriva de vel (paraula llatina per designar "o").

Taula de veritat

La taula de veritat de $~A \or B$ es la següent:

Entrada		Eixida
A	B	A OR B
0	0	0
0	1	1
1	0	1
1	1	1

Propietats

Les següents propietats s'apliquen a la disjunció:

• Associativa: $a \lor (b \lor c) \equiv (a \lor b) \lor c$

• Commutativa: $a \lor b \equiv b \lor a$

• Distributiva: $(a \lor (b \land c)) \equiv ((a \lor b) \land (a \lor c))$

$(a \land (b \lor c)) \equiv ((a \land b) \lor (a \land c))$

$(a \lor (b \equiv c)) \equiv ((a \lor b) \equiv (a \lor c))$

• Idempotència: $a \lor a \equiv a$