Programmiertechnik/logische Operatoren
Inhaltsverzeichnis
Negation, nicht
Die Negation, auch Verneinung, kehrt den Wahrheitswert eines Ausdrucks um.
| A | ¬ A |
|---|---|
| falsch | wahr |
| wahr | falsch |
In vielen Programmiersprachen ist das Ausrufezeichen ! der Operator für die Negation.
Konjunktion, und
Die Verknüpfung zweier Ausdrücke durch eine Konjunktion ist nur dann wahr, wenn beide Ausdrücke wahr sind.
| A | B | A ∧ B |
|---|---|---|
| wahr | wahr | wahr |
| falsch | wahr | falsch |
| wahr | falsch | falsch |
| falsch | falsch | falsch |
In vielen Programmiersprachen lauten die Operatoren && bzw. and. In PHP gibt es beide Operatoren, die sich allerdings in ihrer Rangfolge unterscheiden.
Disjunktion, oder
Die Verknüpfung zweier Aussagen durch eine Disjunktion ist bereits dann wahr, sobald eine Aussage wahr ist.
| A | B | A ∨ B |
|---|---|---|
| wahr | wahr | wahr |
| falsch | wahr | wahr |
| wahr | falsch | wahr |
| falsch | falsch | falsch |
In vielen Programmiersprachen lauten die Operatoren || bzw. or. In PHP gibt es beide Operatoren, die sich allerdings in ihrer Rangfolge unterscheiden.
Kontravalenz, entweder oder
| A | B | A ⩒ B |
|---|---|---|
| falsch | falsch | falsch |
| falsch | wahr | wahr |
| wahr | falsch | wahr |
| wahr | wahr | falsch |
Implikation, daraus folgt
| A | B | A ⇒ B |
|---|---|---|
| falsch | falsch | wahr |
| falsch | wahr | wahr |
| wahr | falsch | falsch |
| wahr | wahr | wahr |
( identisch mit ¬A ∨ B )