Disgiunzione inclusiva
Da Wikipedia, l'enciclopedia libera.
 |
Questa voce sull'argomento matematica è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
|
 |
La disgiunzione inclusiva è un connettivo logico (o), attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A o B oppure A vel B 
la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B e vere mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti p(x) e q(x), l'insieme di verità di 
corrisponde all'unione tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'unione.
La disgiunzione in algebra boolena è indicata con l'operatore OR.
| A | B | A B |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
[modifica] Proprietà
- Proprietà di idempotenza:
- Proprietà commutativa:
- Proprietà associativa:
- Proprietà distributiva (rispetto alla congiunzione logica):
- Legge di assorbimento (rispetto alla congiunzione logica):
- Legge di De Morgan
