4. Распределительный (дистрибутивный) закон:
— для логического сложения:
(AB) C = (А&С) (B&С);
— для логического умножения:
(A&B) C = (AC)&(BC).
Определяет правило выноса общего высказывания за скобку.
В обычной алгебре справедлив распределительный закон только для сложения: (a + b) c = ac + bc.
5. Закон общей инверсии (законы де Моргана):
— для логического сложения
;
— для логического умножения:
.
Достарыңызбен бөлісу: |