Негізгі мәндестік формулалар (буль алгебрасының заңдары)

A, B, C – буль функциялары болсын.

1. 
   Коммутативті: ;
   
2. 
   Ассоциативті: ;
   
3. 
   Дистрибутивті: ;
   
4. 
   Де Морган заңдары: ;
   
5. 
   Екі рет терістеу заңы (инволюция):
   
6. 
   Жұтып қою заңы: ;
   
7. 
   Идемпотентті заңы: ;
   
8. 
   Үшіншіні жоққа шығару заңы: ;
   
9. 
   Қарама- қайшылық заңы: ;
   
10. 
    
    

Негізгі мәндестіктер арқылы берлген формуланы түрлендіріп, ықшамдауға болады.