Основные теоремы алгебры логики.
Теоремы для одной переменной охватывают все операции над переменной x и константами "0" и "1":
1.
2.
3.
4.
| 5.
6.
7.
8.
| 9.
| Теоремы для двух или более переменных – x и y:
10. Переместительный закон:

11. Сочетательный закон:


12. Распределительный закон:


Доказательство:

Здесь к скобке применена теорема 2.
13. Закон поглощения:

Доказательство:

14. 

Доказательство:

15. Закон склеивания:

Доказательство:

16. Закон отрицания (теорема де-Морана)
Не нашли, что искали? Воспользуйтесь поиском:
|