|
CNF mukammal deb ataladi agar barcha o'zgaruvchilar bir xil darajaga ega bo'lsa.
Algebraik shakldan mantiqiy eshiklar yordamida mantiqiy qurilma sxemasini qurish mumkin.
1-rasm - Mantiqiy qurilmaning diagrammasi
Mantiq algebrasining barcha amallari aniqlangan haqiqat jadvallari qiymatlar. Haqiqat jadvali operatsiyani bajarish natijasini aniqlaydi hammasi mumkin x asl bayonotlarning mantiqiy qiymatlari. Amallarni qo'llash natijasini aks ettiruvchi variantlar soni mantiqiy ifodadagi gaplar soniga bog'liq bo'ladi. Agar mantiqiy ifodadagi gaplar soni N bo'lsa, u holda haqiqat jadvali 2 N qatorni o'z ichiga oladi, chunki mumkin bo'lgan argument qiymatlarining 2 N xil kombinatsiyasi mavjud.
NO operatsiyasi - mantiqiy inkor (inversiya)
Mantiqiy operatsiya oddiy yoki murakkab mantiqiy ifoda bo'lishi mumkin bo'lgan bitta argumentga QO'LLANIB EMAS. Operatsiyaning natijasi EMAS:
agar dastlabki ifoda rost bo'lsa, uni inkor qilish natijasi noto'g'ri bo'ladi;
agar asl ifoda noto'g'ri bo'lsa, uni inkor qilish natijasi to'g'ri bo'ladi.
Quyidagi konventsiyalar inkor operatsiyasi uchun QABUL QILMAYDI:
A, Ā emas, A, ¬A, !A emas
Rad etish operatsiyasining natijasi quyidagi haqiqat jadvali bilan aniqlanmaydi:
Inkor amalining natijasi asl bayonot noto'g'ri bo'lganda to'g'ri bo'ladi va aksincha.
Operatsiya OR - mantiqiy qo'shish (ajralish, birlashma)
Mantiqiy OR operatsiyasi oddiy yoki murakkab mantiqiy ifoda bo'lishi mumkin bo'lgan ikkita bayonotni birlashtirish funktsiyasini bajaradi. Mantiqiy operatsiya uchun
Do'stlaringiz bilan baham: |
