4 Conditional goto and boolean operators

From the previous section, if a condition involves negation (not), disjunction (or) or conjunction (and), we must first take care of those operators. This section discusses how those operators, while used in conditional goto statements, can be transformed.

 4.1 not
 4.2 or
 4.3 and
 4.4 Simple reductions