奎因-麦克拉斯基算法 奎因麦克拉斯基算法QuineMcCluskey算法是最小化布尔函数的一种方法它在功能上等同于卡诺图但是它具有文字表格的形式因此它更适合用于电子设计自动化算法的实现并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法 方法涉及两步 找到这个函数的所有素蕴涵项 使用这些素蕴涵项prime implicant来找到这个函数的本质素蕴涵项essential prime implicant对覆盖这个函数是必须的其他素蕴涵项也同样要使用