Algoritma Quine McCluskey (metode implicants utama) adalah metode yang digunakan untuk meminimalkan fungsi boolean yang dikembangkan oleh Virginia Barat Quine dan diperpanjang oleh Edward J. McCluskey. Ini secara fungsional identik dengan pemetaan Karnaugh.