Mantiqiy elementlar va

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:

A	emas, balki A
0	1
1	0

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