Mantiqiy ifodalarni minimallashtirish muammosi mantiqiy sxemalarni yaratish amaliyotida paydo bo'ladi

Mantiqiy ifodalarni minimallashtirish muammosi mantiqiy sxemalarni yaratish amaliyotida paydo bo'ladi. Boshlang'ich analitik shakl sifatida, odatda, mukammal dis'yunktiv normal shakl (DNF) va kon'yunktiv normal shakl (CNF) ko'rib chiqiladi, bu ko'p hollarda keraksiz darajada murakkablashadi. Ushbu murakkablik tufayli ularning texnik yoki dasturiy ta'minoti ortiqcha bo'lib chiqadi. SDNF va SKNF-ni soddalashtirish uchun turli xil minimallashtirish usullari qo'llaniladi - mantiqiy funktsiyaning analitik belgilarini soddalashtirish uchun transformatsiyalar.
Mantiqiy funktsiyaning minimal varianti odatda qandaydir mantiqiy asosga nisbatan izlanadi. Eng yaxshi natijalar "EMAS", "VA", "YOKI" funktsiyalari yordamida olinadi, shuning uchun biz ushbu funktsiyalardan asosiy mantiqiy asos sifatida foydalanamiz. Mantiqiy ifodani amalga oshirishning murakkabligi odatda Kc murakkablik koeffitsienti bilan tavsiflanadi. Ushbu koeffitsientni hisoblash uchun siz ifodani tashkil etuvchi atamalar sonini (DNFdagi atamalar yoki CNFdagi omillar) va ushbu barcha atamalar saflari yig'indisini qo'shishingiz kerak. Terminning darajasi atamadagi o'zgaruvchilar soniga teng. Demak, 4 ta haddan iborat funksiya uchun (2-darajali uchta had va 3-darajali bir had), Kc=4+(2+2+2+3)=13 murakkablik koeffitsienti.