А.А. Гурченков, Е.К. Егорова
4
Шаг 5.
Проверка
max
1.
j
p
Если максимальный ранг равен единице, то формула представля-
ет собой сложение по модулю 2
n
переменных.
1
:
N N n
;
1 1
:
1
t
t
.
Переход к шагу 9.
Шаг 6.
Проверка
3
B
L
.
2
:
N N
;
1 1
:
1
t
t
.
Переход к шагу 9.
Шаг 7.
Разложение.
Выделяется переменная
x
j
max
и конъюнкции, содержащие эту пе-
ременную, копируются в формулу
'
F
.
1 :
n n
;
max
:
j
m p
;
:
1
N N
;
1 1
:
1
t
t
.
Шаг 8.
Проверка
m m
.
Оставшиеся конъюнкции копируются в формулу
.
F
1 :
n n
;
:
m m m
;
:
1
N N
;
1 1
:
1
t
t
.
Переход к шагу 9.
Шаг 9
. Проверка
2 1
t t
.
Переход к шагу 3.
Шаг 10
. Вывод результата.
3
,
: .
n
F
L F G N
Пример 1.
Рассмотрим случай, когда число конъюнкций
1
m
.
В этом случае формула представляет собой перемножение
n
пере-
менных:
1 2
.
n
n
F x x x
Поскольку число подфункций на единицу меньше числа пере-
менных, можно считать, что
1.
F
L n
Если в виде формулы данный случай не представляет особых
сложностей, то в виде схемы может быть несколько вариантов раз-
мещения элементов.
