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

= 1 (отрицание лжи есть истина); = 0 (отрицание истины есть ложь);

А 0 = А; А 1 = А; А^0 = 0; А^1 = А.

Доказать законы можно с помощью таблиц истинности, учитывая следующее определение:

Два высказывания называются равносильными (), если их таблицы истинности совпадают.

Например, доказать: (равносильность)

А	Л
И	Л	И
Л	И	Л

Построение таблиц истинности для сложных выражений:

· n - высказываний

· Количество строк = 2ⁿ

Докажем закон 8.1

А	B	C

Пример: упростить формулу