前束范式

如果公式 G 中的一切量词都在该公式的最前端，而且辖域都延伸到最末端，则称为前束范式

转换方法：

1. 消去联结词
2. 把否定移动到谓词的最前端
3. 用谓词的等价关系把所有量词移动到公式的最前端

变成了这样：

$$(\forall x)(\exists y)(\forall z)(A(x,y)\to B(z)\vee C(x,y))$$

这就是一种前束范式