Quine-McCluskey 算法是最小化布尔函数的一种方法。它在功能上等同于卡诺图，但是它的表格形式使它更有效的用做计算机算法，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。
方法涉及两步:
找到这个函数的所有素蕴涵项。
使用这些素蕴涵项(implicant)来找到这个函数的本质素蕴涵项，对覆盖这个函数是必须的其他素蕴涵项也同样要使用。
复杂性尽管在处理多于四个变量的时候比卡诺图更加实用，Quine-McCluskey 算法也有使用限制，因为它解决的问题是NP-完全的: Quine-McCluskey 算法的运行时间随输入大小而呈指数增长。可以证明对于 n 个变量的函数，素蕴涵项的数目的上界是 3n/n。如果 n = 32，则可能超过 6.1 * 1014，或 617 万亿个素蕴涵项。有大量变量的函数必须使用潜在的非最优的启发式方法来最小化。
