تعریف ایمپلیکانت (Implicant)
جملهٔ ضربی (ANDای از لیترال‌ها) که هر وقت ۱ شود، تابع هم ۱ است — یعنی گروهی از یک‌های تابع را پوشش می‌دهد. هر گروه معتبر کارنو یک ایمپلیکانت است.
تعریف ایمپلیکانت اول (Prime Implicant)
ایمپلیکانتی که نتوان هیچ لیترالی از آن حذف کرد و همچنان ایمپلیکانت ماند — یعنی گروهی که بزرگ‌ترشدنی نیست.
تعریف ایمپلیکانت ضروری (Essential Prime Implicant)
ایمپلیکانت اولی که دست‌کم یک مین‌ترم را به‌تنهایی پوشش می‌دهد. آن مین‌ترمِ تنهامانده، دلیل اجباری‌بودن این گروه است.
الگوریتم ذهنی پوشش حداقل: (۱) همهٔ ضروری‌ها را بردار، (۲) مین‌ترم‌های باقی‌مانده را با کمترین ایمپلیکانت‌های اول بپوشان. ضروری‌ها «مجبور»اند و بقیه «انتخاب».