Законы алгебры логики. Легко доказываются с помощью аксиом алгебры логики методом перебора значений логических переменных, множество которых состоит всего лишь из двух элементов: 0

Легко доказываются с помощью аксиом алгебры логики методом перебора значений логических переменных, множество которых состоит всего лишь из двух элементов: 0 и 1. Эти законы используются, в частности, для упрощения логических функций.

Законы:

- идемпотентные:

- коммутативные или переместительные:

- ассоциативные или сочетательные:

- дистрибутивные или распределительные:

- отрицания:

- двойственности (теоремы де Моргана):

- двойного отрицания: ;

- поглощения:

- склеивания:

- обобщенного склеивания:

.

Дата добавления: 2014-01-07