四、等值演算举例 　　由已知的等值式可以推演出更多的等值式，我们称由已知的等值式推演出另外一些等值式的过程称为等值演算。等值演算是布尔代数或逻辑代数的重要的组成部分。在等值演算的过程中，我们要不断使用置换规则。