In dla lògica e in dla matemàtica, la diśgiunsiòun lògica o diśgiunsiòun incluśìva (disgiunzione logica o disgiunzione inclusiva in itagliàṅ), ch'a s lēś "o" o "vel" e la se scrìv "${\displaystyle \vee }$", l'è cal conetîv lògic ch'l unìs do propośisiòun A e B dala relasiòun ${\displaystyle A\vee B}$, ch'a s lēś A o B o anca A vel B, indû la nóva propośisiòun l'è vera se anca sōl ûn di du elemèint 'l è véra, màinter ch'l'è fèlsa sōl se tùt e dū i elemèint i 'l în. In dla teorìa di insèm, la diśgiunsiòun la gh'à al stès comportamèint edl'uniòun.

In dl'àlgebra 'd Boole, al só uvradōr lògic 'l è "OR".

La só tabèla dla veritê l'è la seguàinta:

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A\vee B}$
F	F	F
F	V	V
V	F	V
V	V	V

Proprietê

Proprietê 'd idempotèinsa

${\displaystyle p\vee p=p}$

Proprietê comutatìva

${\displaystyle p\vee q=q\vee p}$

Proprietê asociatìva

${\displaystyle (p\vee q)\vee r=p\vee (q\vee r)}$

Proprietê distributìva

(rispêt ala congiunsiòun lògica)

${\displaystyle p\vee (q\wedge r)=(p\vee q)\wedge (p\vee r)}$

Tiuréma 'd asorbimèint

(rispêt ala congiunsiòun lògica)

${\displaystyle p\vee (p\wedge q)=p}$

Lēś dal De Morgan

${\displaystyle {\overline {p\vee q))={\overline {p))\wedge {\overline {q))}$

Vōś lighèdi

• congiunsiòun lògica
• diśgiunsiòun escluśìva
• conetîv lògic
• àlgebra booleàna

Noti e referèinsi

• (EN) Na spiegasiòun in dla réda.
• (EN) Na spiegasiòun in dal sît MathWorld.