Построение совершенной дизъюнктивной нормальной формы
Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
Подобные документы
Исследование поведения функций одной переменной, построение графиков. Изучение порядка математических действий по отысканию локального экстремума. Поиск наибольших и наименьших значений непрерывной на отрезке функции. Точки пересечения с осями координат.
лекция, добавлен 26.01.2014Диаграмма Эйлера-Венна как геометрическая схема, с помощью которой можно изобразить отношения между подмножествами для наглядного представления. Дизъюнкция - операция логики, отражающая употребление союза "или" в содержательных логических выводах.
контрольная работа, добавлен 08.01.2016Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Определитель как одно из основных понятий линейной алгебры. Нахождение обратной матрицы. Коэффициенты при переменных и свободные членов. Методы Крамера и Гаусса. Отрезки, отсекаемые плоскостью на осях координат. Исследование функции и построение графика.
контрольная работа, добавлен 08.10.2014Характеристика основных методов упрочения выражения, сущность закона отрицания и дистрибутирования. Порядок решения задач с помощью диаграммы Эйлера-Венна. Особенности построения таблицы истинности. Матрицы инцидентности и смежности, их сущность.
задача, добавлен 24.02.2014Роль задач на построение в психическом развитии подростков. Задачи на построение в школьных учебниках. Геометрические построения с использованием линейки. Применение теоремы Дезарга для построения параллельных прямых. Задачи с недоступными элементами.
методичка, добавлен 10.04.2012Геометрический и физический смысл производной. Правила дифференцирования, производные высших порядков. Изучение функции с помощью производной. Возрастание и убывание функции, экстремум функции. Общая схема исследования функции и построение ее графика.
реферат, добавлен 10.04.2010Изучение матриц и линейных уравнений как основных элементов линейной алгебры. Описание элементов векторной алгебры. Исследование основ аналитической геометрии на плоскости и в пространстве. Составляющие производных, функций и математического анализа.
курс лекций, добавлен 23.09.2012Построение чертежа на клетчатой бумаге или на координатной плоскости с выделенными целочисленными координатами характеристических точек фигуры или графика функции. Построение описанной окружности девяти точек для треугольников с углом 45 или 135 градусов.
статья, добавлен 25.02.2016Математическое построение оптимального плана и нахождение экстремального значения его функции. Построение двойственной задачи линейного программирования и её целочисленное решение. Описание области допустимых значений переменных, их максимальные функции.
контрольная работа, добавлен 18.02.2013Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012Изучение поведения функций и построение их графиков как важный раздел математики. Вклад в развитие графиков функций математиков древнего мира. Основные способы задания функций, методы построениях их графиков. Построение графика обратной функции.
реферат, добавлен 04.12.2014Построение графика функции спроса и предложения, нахождение координаты точки равновесия. Вычисление производных. Исследование и построение графика данной функции. Вычисление неопределенного интеграла. Установление расходимости несобственного интеграла.
контрольная работа, добавлен 21.10.2010Решение задач по теории вероятности с помощью диаграмм Эйлера-Венна. Геометрическая интерпретация бинарных отношений. Отношение следствий пары высказываний. Анализ истинности суждений построением таблицы, преобразованием формулы, методом "от противного".
контрольная работа, добавлен 27.12.2014Детерминированные функции и способы их задания. Основные типы преобразующих автоматов. Последовательные автоматные вычисления. Построение логических цепей. Операции над словами и языками. Порождение и распознавание цепочек. Элементы теории кодирования.
учебное пособие, добавлен 20.05.2014Схема расчета полей зазоров в зацеплении элементов глобоидной передачи, учитывающая накопленный износ витка червяка, зуба колеса и пластические деформации, возникающие при нагрузке на колесо. Алгоритм изменения формы контактирующих поверхностей.
статья, добавлен 30.04.2018Вычисление вероятности, полная группа событий. Построение ряда распределения и графика функции распределения, вычисление характеристик для заданной случайной величины. Построение выборки, гистограммы, функции распределения непрерывных случайных величин.
контрольная работа, добавлен 02.04.2018Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Исследование различных систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Характеристика и доказательства теорем Ферма-Эйлера, Адольфа Гурвица и приложение к ней (Фердинанда Георга Фробениуса).
курсовая работа, добавлен 09.04.2012Решение системы линейных уравнений матричным способом и по правилу Крамера. Построение области допустимых решений. Решение закрытой транспортной задачи. Составление экономико-математической модели линейного программирования. Минимизация целевой функции.
контрольная работа, добавлен 11.04.2009Главные понятия алгебры множеств. Определение принципа двойственности и соответствия уравнений. Виды графов. Алгоритм поиска максимального потока в сети. Функции логарифмических частотных систем. Построение матричных уравнений и дискретных систем.
курс лекций, добавлен 06.12.2015Описание нового подхода к формированию геометрических моделей объектов сложной формы и формализации исходных данных, обеспечивающих наперед заданную точность моделирования и гладкость обводов поверхностей. Оценка погрешностей моделирования формы.
статья, добавлен 04.03.2021Исследование и построение графика функции. Вычисление односторонних пределов и точек пересечения с осями координат. Расчет частных производных первого порядка. Изучение на экстремум функции двух переменных. Проведение поиска выпуклостей и точек перегиба.
контрольная работа, добавлен 22.10.2013- 99. Булевы функции
Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.
курсовая работа, добавлен 05.12.2012 Алгебра матриц, линейные и матричные уравнения. Матрицы в экономических приложениях. Свободные векторы, система координат. Линейные операторы, квадратичные формы и классификация кривых второго порядка. Расположение прямых на плоскости и в пространстве.
учебное пособие, добавлен 06.02.2011