Алгоритмы минимизации булевых функций
Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.
Подобные документы
Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
учебное пособие, добавлен 13.01.2015Рассмотрение основных свойств конъюнкции, дизъюнкции и отрицания, их отличия. Сущность логической функций как функции, у которой все переменные и сама функция могут принимать только два значения: 0 и 1. Понятие карт Карно, их порядок использования.
методичка, добавлен 09.11.2014Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018Разработка и обоснование новых и эффективных методов глобальной минимизации некоторых специальных классов негладких функций на выпуклых множествах. Разработка метода нахождения минимума негладкой выпуклой функции многих переменных на симплексе.
автореферат, добавлен 30.06.2018- 31. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.
презентация, добавлен 06.09.2017Метод гиперплоскостей для построения выпуклой области. Решение нелинейных уравнений на основе минимизации функций многих переменных. Сокращение интервала неопределенности методами золотого сечения, квадратичной аппроксимации и Давидона-Флетчера-Пауэлла.
реферат, добавлен 14.02.2011Постановка задачи одномерной минимизации и классификация одномерных функций. Алгоритм Свенна для поиска интервала унимодальности. Разработка алгоритма последовательной квадратичной аппроксимации. Расчет коэффициентов аппроксимации в Microsoft Excel.
курсовая работа, добавлен 19.06.2014- 35. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.
контрольная работа, добавлен 28.01.2020Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Построение таблицы поведения автомата. Поиск системы булевых функций для возбуждения триггеров дискретного преобразователя информации. Преимущества, обеспечиваемые применением конечных автоматов. Составление схемы дискретного преобразователя информации.
курсовая работа, добавлен 18.11.2015Понятие и свойства неопределенного интеграла. Замена переменных. Интегрирование рациональных функций. Метод рационализации. Сущность метода интегрирования по частям. Таблица простейших неопределенных интегралов. Упрощение подынтегральной функции.
реферат, добавлен 17.01.2011Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.
лекция, добавлен 22.10.2013Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Математический анализ как наука. Изучение задач на нахождение максимума и минимума. Экстремумы одной, трех и многих переменных. Метод вычисления критериев Сильвестера. Множитель Лагранжа. Стационарные точки функций. Факты дифференциального исчисления.
дипломная работа, добавлен 16.01.2014Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Вычисление неопределенных и определенных интегралов, проверка результатов дифференцированием. Определение площади фигуры, ограниченной параболой и прямой. Дифференциальное исчисление функций нескольких переменных. Примеры решений системы уравнения.
контрольная работа, добавлен 16.04.2012Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Исследование процесса кратного интегрирования при дифференциальном исчислении функций. Определение частных производных функций двух переменных и установление их геометрического смысла. Анализ правил дифференцирования и табличных производных функции.
курсовая работа, добавлен 26.05.2015Исследование и логическое проектирование конечного частично определенного автомата - дискретного преобразователя информации. Построение графа, кодирование данных. Нахождение системы булевых функций для возбуждения триггеров. Составление логической схемы.
курсовая работа, добавлен 09.11.2012Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017Понятие и задача интегрирования. Свойства неопределённых интегралов как следствие соответствующих свойств для производных. Правило замены переменных в интеграле, вычисление неопределенных интегралов. Метод вычисления интегралов от рациональных функций.
лекция, добавлен 10.04.2016