Disjunció

De Viquipèdia
Dreceres ràpides: navegació, cerca

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 es 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 ~A \or 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[modifica | modifica el codi]

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

(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))