Переместительный (коммутативный) закон:
для логического умножения: A&B=B&A;
для логического сложения: A∨B=B∨A.
Сочетательный (ассоциативный) закон:
для логического умножения: (A&B)&C=A&(B&C);
для логического сложения: (A∨B)∨C=A∨(B∨C).
