quantifier-free conjunctive normal form的意思|示意

美 / / 英 / /

无量词连接的标准形式

quantifier-free conjunctive normal form的网络常见释义

自由量词合取范式 prenex-conjunctive normal form 合取正规形式 quantifier-free conjunctive normal form 自由量词合取范式 normal conjunctive form 标准的逻辑乘法形式 ..

quantifier-free conjunctive normal form相关短语

1、 quantifier-free conjunctive-normal form 翻译 ;