Лекция: Свойства констант

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

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

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

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

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

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

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

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

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

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