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
Xulosa
Men ushbu mustaqil ish yozish davomida mantiqiy elementlarni or,
And,nod, elementlarni ishlatish va ularni qollanishi haiqda tushunchagalarga bo’ldim
Do'stlaringiz bilan baham: |