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

prenex formula 前束式

prenex form [数] 前束式

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

prenex-disjunctive normal form 前束析取范式

prenex normal [数] 前束范式

prenex normal forms 前束范式

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

prenex normal fox 前束标准形