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

Давайте поговорим о логике: с точки зрения математики, но с привязкой к реальности. Оглавление рубрики "Мой учебник" Начнем с высказываний. Высказывание — это некоторое текстовое утверждение, которое может быть истинным или ложным. Например, "Все кошки серы", "Если сумма цифр числа делится на 3, то и само число делится на 3", "Максимальная выплата в 'игре пиратов' не зависит от численности команды", "Убийца — дворецкий", "Ti amo". Закон исключенного третьего гарантирует, что "либо-либо", даже если выяснить, что же именно, мы не можем...