Congiunzione logica
![Abbozzo](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Puzzle_stub.svg/45px-Puzzle_stub.svg.png)
Questa voce sull'argomento logica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Venn0001.svg/220px-Venn0001.svg.png)
In logica, una congiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione chiamata appunto congiunzione.
Date due proposizioni e la congiunzione di e , indicata con , è vera soltanto nel caso in cui e siano entrambe vere, mentre è falsa in tutti gli altri casi possibili. Quando si hanno due enunciati aperti e , l'insieme di verità di corrisponde all'intersezione tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione.
La congiunzione in algebra booleana è indicata con l'operatore AND.
A | B | AB |
---|---|---|
V | V | V |
V | F | F |
F | V | F |
F | F | F |
Proprietà
- Proprietà di idempotenza:
- Proprietà commutativa:
- Proprietà associativa:
- Proprietà distributiva (rispetto alla disgiunzione inclusiva):
- Teorema dell'assorbimento (rispetto alla disgiunzione inclusiva):
- Legge di De Morgan
Voci correlate
- Algebra di Boole
- Connettivo logico
- Porta logica
Altri progetti
Altri progetti
- Wikizionario
- Wikimedia Commons
Wikizionario contiene il lemma di dizionario «and»
Wikimedia Commons contiene immagini o altri file sulla congiunzione logica
Collegamenti esterni
- Congiunzióne, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
- AND, su sapere.it, De Agostini.
- Congiunzione, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) conjunction, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Conjunction, su MathWorld, Wolfram Research.
- (EN) Conjunction, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
- (EN) Denis Howe, AND, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
Controllo di autorità | GND (DE) 4164990-4 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)