Congiunzione logica
Da Wikipedia, l'enciclopedia libera.
La congiunzione logica è un connettivo logico (e), attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata congiunzione di A e B o congiunzione di A et B 
la quale è vera solo nel caso in cui, le due proposizione da cui è formata, A e B, sono vere, mentre è falsa in tutti gli altri possibili casi. Quando si hanno due enunciati aperti p(x) e q(x), 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 boolena è indicata con l'operatore AND.
| A | B | A B |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
[modifica] Proprietà
- Proprietà di idempotenza:
- Proprietà commutativa:
- Proprietà associativa:
- Proprietà distributiva (rispetto alla disgiunzione inclusiva):
- Legge di assorbimento (rispetto alla disgiunzione inclusiva):
- Legge di De Morgan
[modifica] Voci correlate
)
)
)
)
)
)
)
)
)
)
)
)
 Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica |
