quantifier-free conjunctive-normal form

quantifier-free conjunctive-normal form 基本解释

网络  自由量词合取范式

计算机

重点词汇

• formn. 形状, 形体, 类型, 方式, 表格, 形式 v. 形成, 排列, (使)组成 n. 表单 [计] 表单
• freea. 自由的, 享受政治权力的, 允许的, 免费的, 丰富的 vt. 释放, 解放, 使自由 adv. 自由地, 免费
• conjunctivea. 连结的, 结合的, 联合的 n. 连接词
• quantifiern. 数量词, 精于计算的人 [计] 量词
• normaln. 常态, 标准, 正常, 普通 a. 正常的, 正规的, 标准的, 师范的, 正态的 [计] 标准, 普通