prenex-disjunctive normal form

prenex-disjunctive normal form 基本解释

[计] 前束折取范式

重点词汇

prenex [计] 前束的

disjunctive a. 分离的, 分隔的 n. 反意连接词, 选言命题

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

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