quantifier-free conjunctive-normal form

quantifier-free conjunctive-normal form 基本解释

[计] 自由量词合取范式

重点词汇

quantifier n. 数量词, 精于计算的人 [计] 量词

free a. 自由的, 享受政治权力的, 允许的, 免费的, 丰富的 vt. 释放, 解放, 使自由 adv. 自由地, 免费

conjunctive a. 连结的, 结合的, 联合的 n. 连接词

normal adj. 正常的；正规的，标准的；[数学]正交的；精神健全的 n. 正常，常态；标准；[数学]法线

form n. 形状, 形体, 类型, 方式, 表格, 形式 v. 形成, 排列, (使)组成 n. 表单 [计] 表单