prenex-conjunctive normal form

prenex-conjunctive normal form 基本解释

[计] 前束合取范式

重点词汇

prenex [计] 前束的

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

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

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