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