Описан новый метод минимизации булевых функций (БФ), разработанный в процессе исследования ортогональной формы представления БФ, путем пошагового параллельного разложения БФ по частям, суть которого сводится к записи БФ в виде дизъюнктивного ряда конъюнкций аргументов БФ в определенной форме и последующей минимизации каждого члена этого ряда. В предложенном методе минимизации БФ в ортогональной форме представления (ОРФП) доказана возможность получить минимальные формы БФ с показателями сложности реализации не хуже, чем в МДНФ. Другими словами, в результате получена МДНФ в классической форме представления (КФП) БФ на основе ОРФП БФ, что доказывает, что КФП БФ есть только частный случай ОРФП БФ. Существенно заметить, что минимизация осуществляется без полнопереборных процедур. Преимуществом рассматриваемого метода является отсутствие в процессе минимизации промежуточных результатов, которые нужно дополнительно минимизировать. Результаты, полученные предложенным методом, идентичны по показателям сложности реализации БФ Sad, Sl, Ss результатам, полученным методами Квайна, Квайна - Мак-Класки и методом построения карт Карно.

  Повний текст PDF - 397.757 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"