(۰۸ بهمن ۱۳۹۵ ۱۰:۲۱ ق.ظ)Pure Liveliness نوشته شده توسط:  سلام.
نکته ای که وجود داره این هست که اگر تابعی شامل تمامی PI هاش باشه مخاطره نداره ولی عکسش درست نیست یعنی اگه مخاطره نداشت لزوماََ شامل همه ی PI هاش نیست. پس ممکنه شامل همه ی PI هاش نباشه و مخاطره نداشته باشه.
وقتی که تابع رو توی جدول کارنو پیاده سازی میکنیم فرض کنیم PI هامون هستن [tex]b'd'[/tex] و [tex]ab'[/tex] حالا:
زوج مینترم هایی که مخاطره ایجاد میکنن:
هیچ زوج مینترمی وجود نداره که مخاطره ایجاد کنه. چون که هر دو تایی که شما حساب کنید که مجاور هستن حتما توی این دو تا pi پوشش داده شده ن. پس این گزینه ی ۱ هم تمام مینترم ها رو پوشش میده. هم ساده ترین هست هم مخاطره نداره.

گزینه ی ۲ که اصلا عامل [tex]ab'[/tex] رو نداره. و ad رو داره. میتونیم اینطوری هم بگیریم تا مینترم ها رو پوشش بده. منتها مخاطره ایجاد میشه بین مینترم های ۱۰۰۱ و ۱۰۰۰ همین طور بین مینترمهای ۱۰۱۱ و ۱۰۱۰ پس این دسته بندی درست نیست.
گزینه ی ۳ هم ad اضافه ست.
گزینه ی ۴ هم کلا پرت هست ac و لازم نیست.