(۰۸ بهمن ۱۳۹۵ ۱۰:۴۸ ق.ظ)Pure Liveliness نوشته شده توسط:  جدول کارنوی این مدار به شکل زیر هست که ضمیمه شده. در دو حالت Z داریم چون هیچ کدوم از بافرها فعال نمی‌شوند و خروجی روی هوا می‌مونه. در یک حالت هم X داریم چون خروجی بافر پائین و بالا، با هم اختلاف دارند. پس با توجه به جدول کارنو، مدار تابع [tex]abc[/tex] رو پیاده‌سازی می‌کنه. اما از آنجایی که گفته شده است که ورودی‌های غیرمجاز به مدار اعمال نمی‌شوند، پس ورودی [tex]ab'c[/tex] که منجر به X شدن بشه هم اعمال نمی‌شه. یعنی وقتی a و c هر دو یک هستند، b صفر نخواهد بود. در نتیجه در اون abc هم نیازی به متغیر b نیست چون همانطور که گفتیم، نگران صفر بودن b نیستیم و ۱ بودن هر دوی a و c تضمین میکنه که b صفر نیست. پس پاسخ میشه ac