miniatura|Diagrama de Venn de 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ó miniatura|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 és la següent:
Entrada Eixida A B A OR B0 0 00 1 11 0 11 1 1
Propietats Les següents propietats s'apliquen a la disjunció:
Associativa:
Commutativa:
Distributiva:
Idempotència:
Categoria:Lògica