Disjunció

De Viquipèdia
Dreceres ràpides: navegació, cerca
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 dóna 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ó[modifica | modifica el codi]

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[modifica | modifica el codi]

La taula de veritat de és la següent:

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

Propietats[modifica | modifica el codi]

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

  • Associativa:
  • Commutativa:
  • Distributiva: