... prenex disjunctive normal form 前束析取范式 prenex form 前束式 prenex formula 前束公式 ...
基于8个网页-相关网页
prenex normal form [数] 前束范式 ; 前束标准型
prenex-conjunctive normal form 前束合取范式 ; 合取正规形式
prenex-disjunctive normal form 前束析取范式
prenex disjunctive normal form [数] 前束析取范式
prenex normal form theorem 范式定理
prenex-disjuctive normal form 前束析取范式
prenex conjunctive normal form [数] 前束合取范式
应用推荐