布尔表达式的等价解释 为了方便起见，下面我们仅讨论由文法 E-EEEVEhE(E)ii Ropi (5.1) 对于布尔表达式的计值和翻译，可采用类似算术表达式的方式来进 行。例如，对于布尔表达式AVBAC,可翻译为： （∧， B, C, T1) (V, A, 1, 2) 但是，对于一个布尔表达式而言，我们的目的仅仅是为了判定它的 真假值。因此，有时只需计算它的一个子表达式，、便能确定整 个布尔表达式的真假值。例如，对于AVB,只要知道A为真，厕 无论B取何值，表达式的结果一定为真。 可见，对于三种常见逻辑运算，可作如下等价的解释： A∧B口 (A)？B:0 (5.2) AVB 口 (A)？1:B (5.3) A (A)？0:1 (5.4)布尔表达式的等价解释 为了方便起见，下面我们仅讨论由文法 E→E∧E|E∨E|┑E|(E)| i | i Rop i (5.1) 对于布尔表达式的计值和翻译，可采用类似算术表达式的方式来进 行。例如，对于布尔表达式A∨B∧C，可翻译为： (∧, B, C, T1 ) (∨, A, T1, T2 ) 但是，对于一个布尔表达式而言，我们的目的仅仅是为了判定它的 真假值。因此，有时只需计算它的一个子表达式，便能确定整 个布尔表达式的真假值。例如，对于A∨B，只要知道A为真，则 无论B取何值，表达式的结果一定为真。 可见，对于三种常见逻辑运算，可作如下等价的解释： A∧B (A) ? B : 0 (5.2) A∨B (A) ? 1 : B (5.3) ﹃A (A) ? 0 : 1 (5.4)