在控制语句中, 布尔表达式E作为控制流转移的条件,仅把其翻译成一串条件转和无条件转的四元式代码。比如将布尔表达式E=a rop b翻译成四元式代码:
  if a rop b goto E.true和
  goto E.false
  这里,使用E.true和E.false分别表示布尔表达式E的"真""假"出口转移目标。下面将多处使用它们。
  对于E为E1 or E2的形式,若E1是真,则可知道E为真即E1的真出口和E的真出口一样。如果E1是假,那么必须计算E2,E1的假出口应是E2代码的第一个四元式标号,这时E2的真出口和假出口分别与E的真出口和假出口一样。
  类似的考虑适于E为E1 and E2 的情形。 E为not E1 的翻译更容易,只需调换E1 的真假出口即可得到E的真假出口。