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

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

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

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

		1 коммутативность,переместительность
		2 ассоциативность,сочетательность
3.1 конъюнкция относительно дизъюнкции	3.2 дизъюнкция относительно конъюнкции	3 дистрибутивность,распределительность
		4 комплементность,дополнительность(свойства отрицаний)
		5 законы де Моргана
		6 законы поглощения
		7 Блейка-Порецкого
		8 Идемпотентность
		9 инволютивность отрицания, закон снятия двойного отрицания
		10 свойства констант

дополнение 0 есть 1	дополнение 1 есть 0
		11 Склеивание

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

Содержание