6. Закон идемпотентности (от латинских слов idem — тот же самый и potens —сильный; дословно — равносильный):
— для логического сложения:
A A = A;
— для логического умножения:
А&А = А.
Закон означает отсутствие показателей степени.
7. Законы исключения констант:
— для логического сложения:
A1 = 1, A0=A;
— для логического умножения:
A&l = A, A&0 = 0.
8. Закон противоречия: _
А& = 0.
Невозможно, чтобы противоречащие высказывания были одновременно истинными.
9. Закон исключения третьего:
A = 1.
Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе — ложно, третьего не дано.
10. Закон поглощения:
— для логического сложения:
A (A&.B) = А;
— для логического умножения:
A&(A В) = А.
11. Закон исключения (склеивания):
— для логического сложения:
(A&B) (&В) = В;
— для логического умножения:
(A B)&( В) = В.
Достарыңызбен бөлісу: | 
