QMcCluskey

蒯因 — — 麦克罗斯基算法 （或蕴涵的方法） 是一种用于最小化方法布尔函数，是由里蒯因开发并扩展 byEdward J.麦克罗斯基。它在功能上相同到卡诺的映射，但表格式窗体使之更有效率使用计算机算法 并且它也给确定的方法来检验已达到了布尔函数的极小形式。它有时被称为制表方法。 该方法包括两个步骤： 找到所有蕴涵的功能。 在素蕴涵图表中使用这些蕴涵作为查找基本素蕴涵项的功能， 以及其他所需的功能的蕴涵。