240 читали · 2 года назад
Минимизация частично определенных булевых функций
Определение. Булева функция (формула логики высказываний) F называется частично (не всюду) определённой, если не для всех возможных наборов значений входящих в функцию F перемен­ных указаны её значения. Алгоритм минимизации частично определенных функций в классе дизъюнктивных нормальных форм (ДНФ) включает в себя следующие шаги. Шаг 1. Доопределить булеву функцию F нулями на тех наборах значений пе­ременных, где она не определена. Полученную булеву функцию обозначить через F0. Шаг 2. Построить совершенную дизъюнктивную нормальную форму (СДНФ) булевой функции F0...
283 читали · 2 года назад
Функция непрерывна, но не дифференцируема. Как доказать?
Математика онлайн. Доступно о сложном. Серия «Лайфаки для студентов» Здравствуйте, уважаемые любители математики! Разберем еще одно задание (№1009(1)) из сборника Демидовича Б.П. Требуется доказать, что заданная функция непрерывна, но не дифференцируема в начале координат. Его сложность – в том, что функция задается разными формулами при различных значениях аргумента. Сначала небольшое «лирическое отступление». Функция y=x*sin(1/x) не определена в начале координат, но ее односторонние пределы в этой точке существуют, конечны и равны между собой (оба равны нулю)...