计算题 （∀x）（∀y）（（∃z）（A（x，z）∧B（x，z））→（∃u）R（x，y，u）,求前束范式

（x）P（x）∨（x）Q（x）,求前束范式

问答题（∀x）P（x）∨¬（∃x）Q（x）,求前束范式

（x）P（x）∧（x）Q（x），求前束范式

问答题（∀x）P（x）∧¬（∃x）Q（x），求前束范式

（x）（A（x）B（x））=>（x）A（x）（x）B（x）

问答题（∀x）（A（x）↔B（x））=>（∀x）A（x）↔（∀x）B（x）