Пример 1.

Примеры решения задач.

Доказать равносильности: (один из законов де Моргана);

= x|y =.

Решение. Составим таблицу истинности некоторых из указанных функций (табл. 7).

Таблица 7

x	y	x→y		x~y

Пример 2. Преобразовать данную формулу к равносильной формуле, в которой отрицания стоят только над аргументами: .

Решение. .

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

РешениеПример 4. Составить таблицу истинности формулы:

Решение(табл. 8).

Таблица 8

x	y	z				|