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

Есть детали, которые выглядят просто только на экране: прямоугольная пластина, несколько отверстий, пара пазов. Но при ручной разметке быстро накапливаются миллиметры, а после грубой резки начинается долгая зачистка. Лазерная резка металла ценна тем, что переносит большую часть этой работы в цифровой этап. Современная установка точно следует программе, но программа должна быть подготовлена под реальный металл. Важны ширина реза, расстояние между соседними контурами, порядок проходов, наличие мелких перемычек и поведение тонких участков при нагреве...