quasi-prenex disjunctive kernel normal form function

• 拟前来析取核范式函数