Loading AI tools
operatore logico Da Wikipedia, l'enciclopedia libera
In logica, la disgiunzione inclusiva o disgiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione.
Date due proposizioni e , la disgiunzione è indicata con chiamata A o B oppure chiamata A vel B; è vera solo nel caso in cui almeno una tra e è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti e , l'insieme di verità di corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione.
La disgiunzione in algebra booleana è indicata con l'operatore OR.
A | B | AB |
---|---|---|
V | V | V |
V | F | V |
F | V | V |
F | F | F |
Controllo di autorità | LCCN (EN) sh93005045 · GND (DE) 4378735-6 · J9U (EN, HE) 987007532489205171 |
---|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.