Любую формулу можно тождественно преобразовать так, что в ней

не будут использованы:

- знаки логического сложения;

- знаки логического умножения,

а будут использованы:

- знаки отрицания и логического умножения

- знаки отрицания и логического сложения.

Пример 5. Преобразовать формулу так, чтобы в ней не использовались знаки логического сложения.

Решение. Воспользуемся законом двойного отрицания, а затем формулой де Моргана.

Пример 6. Преобразовать формулу так, чтобы в ней не использовались знаки логического умножения.

Решение. Используя формулы де Моргана и закон двойного отрицания получим: