طريقة كوين – ماكلوسكي في اختصار التوابع المنطقية (The Quine – Mc Cluskosy Minimization). هي طريقة لاختصار المعادلات المنطقية ولها مجال واسع في علم الحاسوب وذلك لسهولة دمجها في خوارزميات الحاسوب ولما تحققه من تبسيط للمعادلات المنطقية المركبة وبذلك تقليل التكلفة.
قام ماكلوسكي بتعميم طريقة كوين للتعامل مع عدد أكبر من المتغيرات وذلك باستخدام الحدود الدنيا للتابع (minterms) وبمراعاة ترميز غراي (Gray Coding).