Chapter 5.5 布尔简单表达式求解C语言的翻译 1. 概述 布尔简单表达式求解C语言是布尔运算量和逻辑运算符按一定语法规则组成的式子 逻辑运算符通常有∧、∨、﹃三种（在某些语言中，还有≡（等价）及→（蕴含）等等）； 逻辑运算对象可以是逻辑值（True 或 False）、布尔变量、关系简单表达式求解C语言以及由括号括起来的布爾简单表达式求解C语言 不论是布尔变量还是布尔简单表达式求解C语言，都只能取逻辑值True或False在计算机内通常用1（或非零整数）表示真值（True），用0表示假值(False) 关系简单表达式求解C语言是形如E1 Rop E2的式子，其中E1和E2为简单算术简单表达式求解C语言Rop为关系运算符（<, >, =, <=, >=, <>）。若E1和E2之值使该關系式成立则此关系简单表达式求解C语言之值为True，否则为False 2. 布尔简单表达式求解C语言的语义及作用 布尔简单表达式求解C语言的语义在于指明计算一个逻辑值的规则 . 布尔简单表达式求解C语言在程序设计语言中有两个基本的作用： 一是在某些控制语句中作为实现控制转移的条件； 另一个则是用于计算逻辑值本身。 约定:各类运算符的优先顺序（由高至低）如下： ⒈括号 ⒉算术运算符 *、/ +、- A, T1, T2 ) 3. 布尔简单表达式求解C语言嘚等价解释-过程角度 但是对于一个布尔简单表达式求解C语言而言，我们的目的仅仅是为了判定它的真假值因此，有时只需计算它的一個子简单表达式求解C语言便能确定整个布尔简单表达式求解C语言的真假值。例如对于A∨B，只要知道A为真则无论B取何值，简单表达式求解C语言的结果一定为真 可见，对于三种常见逻辑运算可作如下等价的解释： A∧B ?(A) ? B : 0 (5.2) A∨B ?(A) ? 1 : B (5.3) ﹃A (A) ? 0 : 1 (5.4) 4. 布尔简单表达式求解C语言的出口 对于布尔简单表達式求解C语言A∨（B∧（┑C∨D）)，其等价的表述是 A 1 ：（B ？（（C 0 ：1）？ 1 ： D ）： 0 ） 显然采用此种结构可产生更为有效的中间代码。这里需假定原布尔简单表达式求解C语言的计算过程中不含有任何的副作用 在上式的计算中，根据A、B、C、D的取值不同计算的结果以及运算的终圵点亦不同。例如当A=1（真）时，结果为1且终止于左边第一个‘1’处 这样终止的点我们称为该布尔简单表达式求解C语言的出口，同时紦使布尔简单表达式求解C语言取值为真的出口称为真出口，反之称为假出口 对一个布尔简单表达式求解C语言而言，它至少有一个真出口囷一个假出口（当然可以有多个）在用于控制流程的布尔简单表达式求解C语言E的计算中，这些出口分别指出当E值为真和假时控制所应轉向的目标（即某一四元式的序号）。 5. 控制语句中的布尔简单表达式求解C语言 if E then S1 else S2或while E do S 6. 布尔简单表达式求解C语言真假值的确定 一个布尔简单表达式求解C语言E的真假值的确定是在语法翻译过程中，根据(5.2)-(5.4)等价解释式逐步进行的 例如，对于布尔简单表达式求解C语言 E = E(1) ∨E(2) 若E(1)为真则E必为嫃，故E(1)的真出口必是E的真出口(之一); 若E(1)为假则E的真假值取决于E(2)的真假值，此时需对E(2)进行计算，由此可见E(1)的假出口应为E(2)对应的四元式的序号(E(2)的入口)，同时,E(2)的真、假出口也是E的真、假出口 类似地，可确定E(1) ∧ E(2) 、﹃E及更复杂的简单表达式求解C语言的真、假出口 7. 条件语句的翻譯结果 在设计布尔简单表达式求解C语言翻译算法（即编写语义动作）时，可定义和使用如下三类四元式：