prenex-disjunctive normal form 📖 中文释义 [计] 前束折取范式 ← prenex-conjunctive normal form P 字母词表 prenex-normal form →