12.4 Auflösung boolescher Operationen
In den Abfragen bedingter Sprünge erlauben Maschinensprachen meist nur einfache Variable. Daher müssen die Werte boolescher Ausdrücke schrittweise in (Hilfs-)Variablen akkumuliert werden.
Dabei erlaubt der sequentielle Charakter der Operationen && und || Abkürzungen in Abhängigkeit vom ersten Operanden.
Eine Zuweisung x = y && z ; bzw. x = y || z ; ist äquivalent zu
if (y) x=z ; else x=0 ; bzw. if (y) x=1 ; else x = z ;
Durch iterierte Anwendung kann die Auswertung eines booleschen Ausdruck vollständig auf bedingte Sprünge zurückgeführt werden.