Disjunció

Diagrama de Venn de
$A\vee B$

En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase i, per tant, dona com a resultat verdader si una de les dues alternatives és 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 se 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\vee B$ és 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\vee (b\vee c)\equiv (a\vee b)\vee c$

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

• Distributiva: $(a\vee (b\wedge c))\equiv ((a\vee b)\wedge (a\vee c))$

$(a\wedge (b\vee c))\equiv ((a\wedge b)\vee (a\wedge c))$

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

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