Буль алгебрасының негізгі эквивалентті қатынастары (заңдары)
1. Коньюнкция мен дизьюнкцияның ассоциативтілігі
а) x1(x2x3)=(x1x2)x3=x1x2x3; б)x1(x2x3)=(x1x2)x3=x1x2x3
2. Коньюнкция мен дизьюнкцияның коммутативтілігі
а) x1 x2=x2 x1; б)x1 x2=x2x1
3.Коньюнкцияның дизьюнкцияға қатысты дистрибутивтілігі (Дизьюнкцияның коньюнкцияға қатысты дистрибутивтілігі).
а) x1(x2x3)=(x1x2)x1x3; б) x1(x2 x3)=(x1x2)x1x3
4. Идемпотенттілік
а) x xх; б) x x х
5. Қос терістеу заңы.  
6. 0 мен 1 константаларының қасиеттері:
а) x 1х ; в) x x1; д)  1;
б) x 00 ; г) x 0х ; е)  ;
7. Морган заңдары:
а)  ; б) 
Қарама- қарсылық заңдары:
а)  0 (ж)
б)  1 (а)
Бұл негізгі эквиваленттік қатынастардың ерекшелігі, олар бір –бірінен шықпайды, олардың дұрыстығына, стандартты әдіспен ғана (ақиқат тық кесте) көз жеткізуге болады.
Достарыңызбен бөлісу: | 
