Logische disjunctie
Van Wikipedia, de vrije encyclopedie
Van Wikipedia, de vrije encyclopedie
In de logica en de wiskunde is de logische disjunctie (symbool: , OF of OR) een logische operator met de betekenis "en/of".
Met de logische disjunctie wordt uit twee uitspraken en de samengestelde uitspraak gevormd; hierin worden en de disjuncten genoemd. De samengestelde uitspraak is waar dan en slechts dan als ten minste een van de samenstellende uitspraken waar is, dus dat alleen waar is, of alleen , of beide. Anders gezegd is de disjunctie onwaar als zowel als onwaar zijn, en waar in alle andere gevallen. De disjunctie heeft de volgende waarheidstabel:
, 
...| T | T | T | |
| T | F | T | |
| F | T | T | |
| F | F | F |
Een voorbeeld van een disjunctie is:
In het alledaags taalgebruik van "A of B" zit min of meer de suggestie dat het niet allebei is. Als die mogelijkheid wel bestaat kan dat expliciet gemaakt worden met de toevoeging "of allebei", of met de formulering "A en/of B". Het tegendeel kan expliciet gemaakt worden met de toevoeging "maar niet allebei". In de logica wordt dit laatste een "exclusieve disjunctie" of "exclusieve or" (XOR) genoemd. Formeel gesproken kan "of" ook betekenen dat beide kanten waar zijn, en wordt daarom ook inclusieve disjunctie genoemd.
Het equivalente begrip in de verzamelingenleer is de vereniging.
Logische disjunctie is associatief en commutatief. Dat wil zeggen dat logisch equivalent is met (associativiteit) — de haakjes kunnen dus zonder ambiguïteit te veroorzaken weggelaten worden — en dat logisch equivalent is aan (commutativiteit).
Disjunctie wordt vaak gebruikt voor bitsgewijze bewerkingen. Voorbeelden:
Merk op dat in computerwetenschappen de OF-operator gebruikt kan worden om een bit op 1 te zetten door een OF-bewerking met een 1 bit.
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.
