拟前束析取核范式函数

quasi-prenex disjunctive kernel normal form fu...