Упражнение 2.1.9

Проиллюстрировать полноту связок (Ú, ^¾) на примерах:

Очевидно, в данных формулах нужно заменить все связки, кроме (Ú, ^¾).

а) Преобразуем S₁:

Применяя формулу поглощения, получим

, т.е. .

б) , где по закону де Моргана, так же как и

, т.е.

Формула S₂ стала более громоздкой, но представлена только двумя связками: Ú, ^¾.

2.2. Проблемы разрешимости.
Нормальные формы