prenex-conjunctive normal form

【计】 前束合取范式
在线英汉词典
相关词语