Несовпадение типа логических элементов.

Решение вопроса приведения ФАЛ к виду, содержащему только заданный тип логических операций базируется на использовании приведенных теорем Де-Моргана, являющихся следствием принципа двойственности. При этом используется следующий алгоритм:

- выражение или его часть дважды инвертируются (теорема 5 таблицы 7.6.);

- к полученному выражению применяют теоремы Де-Моргана (теоремы7 таблицы 7.6).

Упражнение 7.6. СДНФ из упражнения 7.3 привести к базису элементов И-НЕ.

Решение.

Заданная ФАЛ имеет вид: .

Для приведения выражения к базису элементов И-НЕ необходимо операцию логического сложения заменит операцией логического умножения. Для этого дважды инвертируем все выражение и применяем теорему Де-Моргана.

Упражнение 7.7. СДНФ из упражнения 7.3 привести к базису элементов ИЛИ-НЕ.

Решение.

В этом случае операции логического умножения, которые необходимо заменить операциями логического сложения содержаться в отдельных членах выражения. Дважды инвертируем каждое из них.

Для получения окончательного варианта, выражение, полученное после применения теорем Де-Моргана, необходимо было еще два раза проинвертировать.