Функционально полные системы булевых функций
Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.
Подобные документы
Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.
курсовая работа, добавлен 05.12.2012Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.
курсовая работа, добавлен 22.06.2011В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.
статья, добавлен 07.03.2019Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Основы теории множеств, переключательных функций, комбинаторного анализа и теории графов. Диаграммы Эйлера, операции над множествами. Бинарные отношения и отображения. Свойства элементарных булевых функций. Основные понятия и определения комбинаторики.
учебное пособие, добавлен 11.10.2014Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
научная работа, добавлен 15.09.2012- 13. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022Свойства системы тригонометрических функций. Ортогональность функций на отрезке. Нахождение интеграла по отрезку от произведения любых двух функций системы. Проведение проверки свойств для всех функций системы. Определение подынтегральной функции.
презентация, добавлен 18.09.2013Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
реферат, добавлен 21.06.2014Понятие, свойства, графики элементарных функций. Характеристика степенной, квадратичной, показательной, логарифмической функций. Математическое описание обратно пропорциональной зависимости. Особенности графического изображения тригонометрических функций.
реферат, добавлен 17.06.2014Связь между понятиями аналитических и гармонических функций. Отличия отличной от постоянной гармонической функции, что не может достигать экстремума во внутренней точке области определения. Граничная теорема единственности теории аналитических функций.
курсовая работа, добавлен 14.06.2023- 19. Теория функций
Определение и свойства функций действительного переменного, условия непрерывности, дифференцируемости и интегрируемости. Понятие меры функций и множества. Особенности функций комплексного переменного, понятие аналитичности. Интегральная теорема Коши.
лекция, добавлен 21.04.2010 Характеристика функций и графиков функций: определения и понятия. Функции и их свойства: линейная, обратной пропорциональности, квадратичная, степенные. Движение функций по осям координат. Влияние модуля на функции: модуль и обратная пропорциональность.
реферат, добавлен 15.08.2014Основные свойства и построение графиков степенной, показательной, логарифмической, тригонометрической и обратной тригонометрической функций. Определение элементарных функций, области их определения и значений. Примеры элементарных функций и их свойства.
курсовая работа, добавлен 30.04.2014Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.
презентация, добавлен 06.09.2017Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.
презентация, добавлен 22.03.2021Понятие числовой функции. Определение числовой последовательности как числовой функции на множестве натуральных чисел. Исследование функций на четность и нечетность. Поиск нулей и промежутков, понятие метода интервалов. Промежутки возрастания функции.
лекция, добавлен 27.04.2017Непрерывность функции в точке и на множестве. Точки разрыва функции и их классификация. Действия над непрерывными функциями. Непрерывность основных элементарных функций. Свойства функций, непрерывных на отрезке, равномерная непрерывность функции.
лекция, добавлен 10.02.2016