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

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

Законы исключения (склеивания)

(А^В) (^В) = В;

(АВ) ^(В) = В.

А(А^В) = А;

А^(АВ) = А.

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

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

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

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

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

А	Л
И	Л	И
Л	Л	Л

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

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

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

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

А	B	C

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

Дата добавления: 2014-01-15; Просмотров: 753; Нарушение авторских прав?; Мы поможем в написании вашей работы!