Как известно, все существующие логические функции обладают совершенной дизъюнктивной нормальной формой, а также совершенной конъюнктивной нормальной формой. Обозначаются они аббревиатурами сднф и скнф соответственно...

В лекции представим алгоритм получения минимальной дизъюнктивной нормальной формы, а также представим общий алгоритм минимизации булевой функции в классе нормальных форм. Напомним определения импликанта и простого импликанта произвольной булевой функции. Сформулируем определения тупиковой и минимальной нормальной форм. Определение. Если из дизъюнкции простых импликантов функции F нельзя отбросить ни одного слагаемого (иначе поменяется таблица истинности), то говорят, что получена тупиковая дизъюнктивная нормальная форма (ТДНФ) булевой функции F...