析取范式
翻译与翻译辅助工具-->数理相关[转帖] ... 误差校正||error correction 析取范式||disjunctive normal form 析取项||disjunct ...
析取正规形式
... 析取合取目标树 disjunctive conjunctive goal tree 析取正规形式 disjunctive normal form 析取搜寻 disjunctive search ...
析取合取目标树
... 或闸，析取闸 disjunctive conjunctive goal tree 析取合取目标树 disjunctive normal form 析取搜寻 disjunctive search ...
分离性标准形式
电子缩略语 第173页==www.ic37.com ... Disjunctive Normal Form 分离性标准形式 Digital News Gathering 数字新闻采访 ...
形式被称为
这种受限命题形式被称为 （Disjunctive Normal Form）。 按照命题1.18，对给定的非矛盾的命题形式的真值函数构造析取 范式 …