Приводится сравнительный анализ известных методов минимизации булевых функций. Предлагается оптимальный способ минимизации булевых функций, основанный на инфимумных дизъюнктивных нормальных формах ...