Пусть информация, исходная для синтеза комбинационной схемы на логических элементах ИЛИ—НЕ, задана в виде таблицы интервалов (табл. 1) и таблицы функций (табл. 2), где — входные переменные, — выходные переменные, элементарные конъюнкции. Кроме того, заданы максимально допустимые значения коэффициента нагружения и коэффициента разветвления, равные четырем.
Таблица 1    
 3
011101100010
000100001001
100110000000
100100010000
101100000011

Таблица 2    
 
11110
00001

В процессе факторизации преобразуются столбец и строки и матрицы интервалов, поскольку в них число единиц больше допустимого числа 4. В дополнение к столбцу вводятся столбец , в который переносятся четыре единицы из столбца и строка , в которой записывается единица на пересечении со столбцом . Аналогично вводятся факторы и , в строки которых переносятся «лишние> единицы из строк и . Результат факторизации — матрица интервалов, представленная а табл. 3.
Таблица 3    
 3
000000000010110
000000001001100
100010000000100
100000010000100
000000000001001
000100000000000
011001100000000
101100000010000

Таблицам 2 и 3 соответствует граф логической схемы из элементов И, ИЛИ, показанный на рис. 1, где вершины входов, элементов И и элементов ИЛИ показаны соответственно светлыми, темными и двойными кружками. Для перехода к элементам ИЛИ—НЕ в каждую ветвь графа вводят пару вершин, соответствующих элементам НЕ и показанных на рис. 1 кружками с перекрестием. Далее выделяются подграфы, состоящие из смежных вершин ИЛИ—НЕ и НЕ—И (эти подграфы на рисунке выделены пунктирными линиями), эквивалентные в функциональном отношении. Каждый из этих подграфов заменяется одной вершиной, соответствующей элементу ИЛИ—НЕ. Пары вершин НЕ, не затронутые выделением, удаляются из графа, а одиночные вершины НЕ заменяются вершинами ИЛИ—НЕ. При этом вершины НЕ, смежные вершинам входов, могут быть удалены с инвертированием соответствующей входной переменной. Полученная в результате синтеза схема показана на рис. 8.3.
Рис. 1.   Граф синтезируемой схемы
Рис. 2.   Результат синтеза логической схемы