الگوریتم کواین-مک‌کلاسکی: تفاوت میان نسخه‌ها

اگر چه این الگوریتم در مقایسه با جدول کارنو برای داده‌های با بیشتر از ۴ متغیر، عملی تر است، این الگوریتم به دلیل این که [//en.wikipedia.org/wiki/Boolean_satisfiability_problem[مسئله صدق‌پذیری دودویی|مسئله]] ای که حل می‌کند [[ان پی سخت]] است، محدودیت دارد و [//en.wikipedia.org/wiki/Run_time_(program_lifecycle_phase) زمان اجرایی] آن به صورت [[رشد نمایی|نمایی رشد]] می‌کند. می‌توان نشان داد که برای تابعی با n متغیر، مقدار کران بالا برای دلالت کننده‌های نخستین برابر exp(3،n)/n است. به‌طور مثال اگر n=32 حدودا exp(10،15)*6.5 دلالت کنندهٔ نخستین خواهیم داشت.

به سادگی می‌توان ساده شدهٔ عبارت بالا را با توجه به جدول بالا، با جمع زدن [[:w:en:Minterm|مین ترم‌هامین‌ترم‌ها]] (minterm) یافت. به نوعی که آن تابع به صورت یک عبارت واحد نشان داده می‌شود: