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