Prenex normal form of the first order logic propositional is the key to propositional logic.

• 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；