前束析取范式

prenex【数】

quasi-prenex disjunctive kernel normal form function【数】

prenex-normal form

quasi-prenex conjunctive kernel normal form function【数】

prenex form

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

prenex-disjunctive normal form

prenex conjunctive normal form【数】