Disjunktion

Eine Disjunktion (v. lat.: dis auseinander, iugere spannen, binden) bezeichnet eine Trennung, Sonderung, i. E.:

In der Logik eine Verknüpfung von Aussage a mit Aussage b, sodass die Disjunktion schon dann wahr ist, wenn mindestens eine der Aussagen a oder b wahr sind (Die Disjunktion wird manchmal auch Alternative genannt, wobei die resultierende Aussage auch dann wahr ist, wenn beide Aussagen a und b wahr sind.)

Das heißt:

• Ist a falsch und ist b falsch, so ist die Disjunktion falsch, sonst ist sie wahr.
• Ist die Disjunktion falsch, so sind a falsch und b falsch.
• Ist die Disjunktion wahr, so sind
  • a richtig und b richtig oder
  • a falsch und b richtig oder
  • a richtig und b falsch

Schreibweise dafür:

a∨b

Sprechweise dafür:

a oder b

Eine Disjunktion selbst ist ein Boolescher Ausdruck.

Es gilt die De Morgansche Regel:

¬(a∨b) = (¬a)∧(¬b)

Siehe auch:

• Äquivalenz
• Implikation
• Negation
• Konjunktion

---

biologisch

• die Trennung eines pflanzen- oder tiergeografischen Verbreitungsgebietes in mehrere nicht zusammenhängende Teilgebiete
• den Trennungsvorgang der Chromosomen