前束合取范式

prenex【数】

quasi-prenex disjunctive kernel normal form function【数】

prenex-normal form

prenex disjunctive normal form【数】

quasi-prenex conjunctive kernel normal form function【数】

prenex form

prenex normal【数】;prenex normal form【数】

prenex-disjunctive normal form