Правила минимизации логических функций

Общие правила можно установить только для случаев, когда в результате минимизации получаются так называемые минимальные нормальные формы (МНФ) функций.

Есть понятие соседних минтермов (макстермов): - два минтерма и будем называть соседними, если они различаются только одним первичным термом , т.е. для одного из минтермов e_p=0, а для другого e_p=1 (все же остальные первичные термы одинаковые)

Например: если n=3, то минтермы и являются соседними, так как они различаются только одним первичным термом . Для минтерма соседними являются также минтермы и . Отсюда можно сказать, что каждый минтерм n переменных имеет по n соседних минтермов из общего числа 2ⁿ минтермов.

Рассмотрим контерм n переменных , не зависящий от одной переменной, т.е. случай, когда контерм является конъюнкцией (n-1)-го первичного терма. Данный контерм можно представить в виде. Очевидно, что полученные минтермы и являются соседними, так как они различаются только одним первичным термом . Отсюда следует правило минимизации: дизъюнкцию двух соседних минтермов можно заменить одним контермом, независящим от одной переменной.

Если минтерм имеет два соседних минтерма, то их можно заменить двумя контермами независящих от соответствующих переменных, так как согласно закону 1.6 (x+x=x) минтерм, который соседний с двумя другими, можно заменить на дизъюнкцию любого числа равных ему минтермов. В результате такого объединения можно получить контермы соседние друг с другом. Их так же можно объединить, получая из двух соседних контермов, независящих от одной переменной, один контерм, независящий од двух переменных. Такая процедура проводится до тех пор пока функция будет состоять только из не соседних контермов или минтермов.

Исходя из выше сказанного, можно установить общее правило минимизации: одним контермом n переменных , не зависящим от m переменных , можно заменить дизъюнкцию 2^m минтермов, если каждый из них имеет по m соседних минтермов среди остальных 2^m-1 минтермов.

В результате таких операций получается функция: - такая форма представления функции называется ДНФ, а если она содержит минимально возможное число первичных термов , то она называется минимальной ДНФ (МДНФ).