1. Х1Х2=Х2Х1 - коммутативный
2. (Х1Х2)Х3=Х1(Х2Х3) – ассоциативный
3. Х1(Х2VX3)=X1X2VX1X3 – дистрибутивный
4. X1VX1X2=X1(1VX2)=X1*1=X1 – поглощения
5. X1X2VX1X2=X1(X2VX2)=X1*1=X1 – склеивания
6. (FVX)(FVX)=F
7. XVXF=XVF X(XVF)=XF - свертки
8. Правила Де Моргана
- X1VX2=X1X2
- X1X2=X1VX2