prenex-disjunctive normal form英式朗读美式朗读基本解释[计] 前束折取范式上一个单词:prenex-conjunctive normal form下一个单词:prenex-normal form