Aussagenlogik
Die Disjunktion (ODER-Verknüpfung)
Die Verknüpfung zweier Aussagen durch ODER heißt Disjunktion. Das Zeichen für die Disjunktion ist "∨". Eine Aussage p ∨ q (gesprochen "p oder q") ist genau dann wahr, wenn mindestens eine der beiden Teilaussagen wahr ist. Die Wahrheitstabelle ist wie folgt definiert:
| p | q | p ∨ q |
| w | w | w |
| w | f | w |
| f | w | w |
| f | f | f |