1. Mantiqiy funktsiyalar Mantiq algebrasi qoidalar

2.Mantiq algebrasi qoidalar
Boshqa har qanday matematik fanlar singari, mantiqiy algebra ham aksiomalar, teoremalar va qonunlar 
shaklida taqdim etilgan ma’lum qoidalar to`plamiga asoslanadi. Ushbu qoidalar ikkita mumkin bo`lgan 
"1" (to`g`ri) va "0" (noto`g`ri) mantiqiy qiymatlari, shuningdek uchta asosiy mantiqiy amallar uchun 
aniqlanadi: "INKOR", "VA" va "YoKI", buning natijasida asosiy mantiq algebrasining qoidalari asosan 
shu amallar va ularning birikmalari uchun tuzilgan. 
Mantiq algebrasining aksiomalari 
Ma’lumki, 
matematikada 
aksiomalar odatda isbot talab
qilmaydigan taxminlar deb ataladi. 
1. Kon’yunktsiya aksiomalari 
0 
∧
0 = 0; 
0 
∧
1 = 0; 1 
∧
0 = 0; 1 
∧
1 = 1. 
2.Diz’yunksiya aksiomalari 

---

0 
∨
0 = 0; 
0 
∨
1 = 1; 1 
∨
0 = 1; 1 
∨
1 = 1. 
3. Inkor aksiomalari agar x = 0 bo`lsa, u holda x = 1; agar x = 1 bo`lsa, x = 0. 

---

---