求与下面谓词公式等值的前束范式_第二章 等值演算小结

第二章我们学习了等值演算，记得讲这一章的那天我朝窗外看了一眼，A楼南面的晚樱树光秃秃的，现在已经花骨朵万千(简称花千骨)，已经过去很久了呢，讲了什么内容呢，一起来回顾一下。

一.等值演算

如果两个公式A与B含有相同的命题变元，如果在所有指派下，A与B的真值都相同，则说明这两个公式是等值的。

判断两个公式是否等值，最直接的方法就是用真值表法，判断A与B是否在所有指派下同真值，或者判断A等价B是否是重言式。

但是当命题变元较多的是时候，真值表法判断公式等值的工作量是很大的。这时，等值演算法的强大功能就凸显出来了。

等值演算法是利用已知的等值式通过代换得到新的等值式。

二.基本等值式

本章的16组基本等值式是基础，常用且重要，以它们为基础进行运算，可以证明公式等值。