Diśgiunsiòun lògica

 Carpśàn

C'l artìcol chè 'l è scrit in Carpśàn

Un diagràma 'd Venn in sìm'a na diśgiunsiòun cun du insèm.

Un diagràma 'd Venn in sìm'a na diśgiunsiòun cun tri insèm.

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 "$\vee$", l'è cal conetîv lògic ch'l unìs do propośisiòun A e B dala relasiòun $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:

$A$	$B$	$A\vee B$
F	F	F
F	V	V
V	F	V
V	V	V

Proprietê

Proprietê 'd idempotèinsa

$p\vee p=p$

Proprietê comutatìva

$p\vee q=q\vee p$

Proprietê asociatìva

$(p\vee q)\vee r=p\vee (q\vee r)$

Proprietê distributìva

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

$p\vee (q\wedge r)=(p\vee q)\wedge (p\vee r)$

Tiuréma 'd asorbimèint

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

$p\vee (p\wedge q)=p$

Lēś dal De Morgan

${\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.