;对于一个程序设计语言，布尔表达式的计算可以有不同的翻译方法，但是计算得到的逻辑结果(真假值)应当是一样的