Эту задачу решают с помощью методов теоретической информатики (методов булевой алгебры).
Упростим полученную функцию с помощью аксиомы распределения
Согласно аксиоме существования единицы
Следовательно,
Пример. Построим схему для логической функции
Схема, построенная для этой логической функции, приведена на рисунке.
Пример. Определим логическую функцию , реализуемую логической схемой вида
Искомая логическая функция, если выписать ее последовательно, заполняя "верх" каждой стрелки, будет иметь следующий вид: