| false | = | 0 |
| true | = | 1 |
| && | : | boolean | x | boolean |
|
boolean | logisches Und mit verkürzter Auswertung | |||||
| || | : | boolean | x | boolean |
|
boolean | logisches Oder mit verkürzter Auswertung | |||||
| & | : | boolean | x | boolean |
|
boolean | logisches Und mit vollständiger Auswertung | |||||
| | | : | boolean | x | boolean |
|
boolean | logisches Oder mit vollständiger Auswertung | |||||
| ^ | : | boolean | x | boolean |
|
boolean | Exklusiv-Oder | |||||
| == | : | boolean | x | boolean |
|
boolean | Gleichheit | |||||
| != | : | boolean | x | boolean |
|
boolean | Ungleichheit | |||||
| ! | : | boolean |
|
boolean | Negation |
| P | Q | P && Q | P || Q | P ^ Q | !Q |
| false | false | false | false | false | true |
| false | true | false | true | true | false |
| true | false | false | true | true | |
| true | true | true | true | false |
Verkürzte Auswertung erfolgt von links nach rechts und bricht frühstmöglich ab:
while ((t > 0) && (n % t != b)) {
t = t - 1;
}
De Morgan'sche Regeln:
(!p) && (!q) = !(p || q) (!p) || (!q) = !(p && q)