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:
Sprechweise dafür:
- a oder b
Eine Disjunktion selbst ist ein Boolescher Ausdruck.
Es gilt die De Morgansche Regel:
- ¬(a∨b) = (¬aa)&and(¬bb)
Siehe auch:
biologisch
- die Trennung eines pflanzen- oder tiergeografischen Verbreitungsgebietes in mehrere nicht zusammenhängende Teilgebiete
- den Trennungsvorgang der Chromosomen
