conjunctive transformation
... 合取正规式 conjunctive normal form 合取变换 conjunctive transformation 连通的 connected ...
基于16个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.
youdao
应用推荐
模块上移
模块下移
不移动