
10.2.
Минимизация логических функций.
Критерий минимальности — минимальное количество букв в записи
НДФ.
При определении НДФ пользуются следующими свойствами:
JCi + ^2 + ... + j„ =
О
, если J, =
JC2
=... = д:„ =
О
и j, +
ДГ2
+... + дг„ = 1, если
хотя бы один член уравнения равен единице:
i," + i» + kl + С + *п + 4° + С = /о(0,
о,
0);
if + kl + к\ + С + С + *°з + С = /<
(О,
0,1);
if + ij + i? + i°' + С + *» + *fi« = МО, 1, 0);
if +i; +*! +4' +4' +*2^4У =/з(0,1,1); .
*; + i° + if + i,if + ii'f + kll + k^ =
/4(1,
0,0); '
i,' + if + i] + i,'f + ii'j + iJl + i.'fj' = /5 (1,0,1);
i,' I kl f if + i,'^ + iff + iff +
i.'j'f
= /,{1,1,0);
i,' + if + if + i,'^' + i,',' + if] + i,'f^ = /, (1,1,1).
Нсли /, = 0 на соответствующем наборе переменных, то все коэффи-
циенты,
входящие в данное урввнение, равны нулю. Тогда в остальных
уравнениях системы (10.2) надо вычеркнуть члены, содержащие нулевые
коэффициенты, а из оставшихся уравнений, равных единице, найти коэф-
фициенты, определяющие конъюнкцию наименьшего ранга в каждом из
уравнений.
!!а основании изложенного можно сформулировать следующий алго-
ритм иахож;1ення неопределенных коэффициентов:
1.Выбра1ь очередную строку, в которой /.=0. Все коэффициенты
этой строки приравнять нулю.
2.
Р.сли
все нулевые строки просмотрены, то перейти к п. 3, если нет,
то к п. 1,
3. Просмотреть строки, в которых / =1, и вычеркнуть из них все ко-
эффицпешы, встречающиеся в строках, где /, =0.
4.
1
?ереписагь все модифицированные уравнения.
5. Выбрать очередную строку /=! и вычеркнуть максимально воз-
можное KOiiHMecTBO коэффициентов так, чтобы ранг остающихся членов
был минимальным.
Метод пеопределе1Н1Ых коэффициентов наиболее применим для
лии>юикгив1юй формы и практически непригоден для конъюнктивной
формы.
23 Г