Algoritmlarning mantiqiy asoslari

kommutativlik

А ۸ В = В ۸ А
А ۷ В = В ۷ А

2. 
   idempotentlik qonuni
   

А ۸ А = А
А ۷ А = А

3. 
   ikkilik inkor
   

4. 
   kombinatsion (assotsiativ) qonunlar
   

А ۷ (В ۷ С) = (А ۷ В) ۷ С = А ۷ В ۷ С
А ۸ (В ۸ С) = (А ۸ В) ۸ С = А ۸ В ۸ С

5. 
   taqsimlovchi (tarqatuvchi) qonunlar
   

А ۸ (В ۷ С) = (А ۸ В) ۷ (А ۸ С)
А ۷ (В ۸ С) = (А ۷ В) ۸ (А ۷ С)

6. 
   yutilish
   

А ۷ (А ۸ В) = А
А ۸ (А ۷ В) = А

7. 
   yelimlash (yopishtirish)
   

(А ۸ В)۷ ( ۸ В) = В
(А ۷ В) ۸ ( ۷ В) = В

8. 
   inkor operatsiyalari
   

А ۸ = 0
А ۷ = 1

9. 
   konstantalar bilan operatsiyalar
   

А ۸ 1 = А , А ۷ 1 = 1
А ۸ 0 = 0 , А ۷ 0 = А

10. 
    de Morgan qonunlari
    

(1-qonun)
(2-qonun)