conjunctive reduction
连接的减少
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
youdao
应用推荐
模块上移
模块下移
不移动