prenex normal form [数] 前束范式 ; 前束标准型

prenex normal forms 前束范式

prenex normal fox 前束标准形

prenex normal form theorem 范式定理

prenex-conjunctive normal form 前束合取范式 ; 合取正规形式

prenex-disjunctive normal form 前束析取范式

prenex disjunctive normal form [数] 前束析取范式

prenex-disjuctive normal form 前束析取范式

prenex conjunctive normal form [数] 前束合取范式