logo search
АВС_Лек4_2013 / ИнтернентСсылкиАссемблерЛогика

Основные тождества[править | править исходный текст]

В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением ещё нескольких.

Сводная таблица свойств и аксиом, описанных выше:

1 коммутативность,переместительность

2 ассоциативность,сочетательность

3.1 конъюнкция относительно дизъюнкции

3.2 дизъюнкция относительно конъюнкции

3 дистрибутивность,распределительность

4 комплементность,дополнительность(свойства отрицаний)

5 законы де Моргана

6 законы поглощения

7 Блейка-Порецкого

8 Идемпотентность

9 инволютивность отрицания, закон снятия двойного отрицания

10 свойства констант

дополнение 0 есть 1

дополнение 1 есть 0

11 Склеивание

См. также Алгебра логики