Congiunsiò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 congiunsiòun cun du insèm.

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

In dla lògica e in dla matemàtica, la congiunsiòun lògica (congiunzione logica in itagliàṅ), ch'a s lēś "e" e la se scrìv "$\land$", l'è cal conetîv lògic ch'l unìs do propośisiòun A e B dala relasiòun $A\land B$, ch'a s lēś A e B, indû la nóva propośisiòun l'è vera sōl se tùt e dû i só elemèint gl'ìn vēr, màinter ch'l'è fèlsa in tùt chi èter chêś. In dla teorìa di insèm, la congiunsiòun la gh'à al stès comportamèint edl'intersesiòun.

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

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

$A$	$B$	$A\land B$
F	F	F
F	V	F
V	F	F
V	V	V

Proprietê

Proprietê 'd idempotèinsa

$p\wedge p=p$

Proprietê comutatìva

$p\wedge q=q\wedge p$

Proprietê asociatìva

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

Proprietê distributìva

(rispêt ala diśgiunsiòun lògica)

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

Tiuréma 'd asorbimèint

(rispêt ala diśgiunsiòun lògica)

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

Lēś dal De Morgan

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

Vōś lighèdi

• diśgiunsiòun lògica
• 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.