1.переместительный(коммутативный)закон: Для логического умножения:
A & B= B &A;
Для логического сложения :
A v B= B v A.
2.Сочетательный (ассоциативный )закон:
Для логического умножения:
(A & B ) & C= A & ( B & C);
Для логического сложения:
(A v B) v C=A v ( B v C).
3. Распределительный( дистрибутивный) закон:
Для логического умножения
А&(B v C) = ( A & B ) v ( A & C )
Для логисческго сложения:
A v ( B & C ) = (A v B ) & ( A v C)
4.Закон двойного отрицания:
Ā=A
Двойное отрицание исключает отрицание.
5.Закон исключенного третьего:
.для логического умножения:
А & Ā= 0;
Для логического сложения:
А v Ā= 1
6. Закон повторения :
.для логического умножения А & А = А;
.для логического сложения:
А v A = A.
7.Законы операций с 0 и 1;
.для логического умножения;
A & 0 = 0; A & 1 = A;
.для логического сложения :
А v 0=A ; A v 1 = 1.