Построение совершенной дизъюнктивной нормальной формы
Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
Подобные документы
Изучение нормальной формы линейного преобразования, его собственные и присоединенные векторы. Выделение подпространства, в котором преобразование А имеет только одно собственное значение и приведение его к нормальной форме, инвариантные множители.
курсовая работа, добавлен 14.03.2010Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021Плотность распределения величины Y. Закон равномерной плотности на участке. Построение графика функции. Общий метод решения задачи для наиболее простого случая функции двух аргументов. Композиция законов распределения. Квадраты вероятных отклонений.
лекция, добавлен 18.03.2014Определение натуральной величины элементов поверхностей. Чертежи разверток пирамидальных и конических поверхностей, выполненные способ триангуляции. Построение способом нормального сечения различных разверток призматических и цилиндрических поверхностей.
методичка, добавлен 01.10.2010Построение полигона (гистограммы), кумулята и эмпирической функции распределения. Построение на плоскости области допустимых решений системы линейных неравенств. Задача линейного программирования симплекс-методом и способы решения двойственных задач.
контрольная работа, добавлен 04.01.2015Построение вариационного ряда случайной величины, представление графически эмпирических функций. Гипотеза о равенстве дисперсий, использование критериев Пирсона. Схема полигона абсолютных частот, построение гистограммы по необъединенным интервалам.
контрольная работа, добавлен 07.01.2016- 107. Линейные неравенства
Построение на плоскости области решений линейных неравенств и геометрическое решение максимального и минимального значения целевой функции в этой области. С помощью симплекс-метода определение максимума целевой функции при данной системе ограничений.
контрольная работа, добавлен 27.03.2015 Построение функции принадлежности для определения важности дисциплины для будущей специальности с помощью применения метода парных сравнений. Использование участия специалистов в анализе и решении проблемы при применении метода экспертного опроса.
лабораторная работа, добавлен 06.12.2015Определение возможных двоичных функций одной переменной. Синтаксис логики высказываний и его прямые синтаксические и семантические аналоги в естественных языках. Рассмотрение примера упрощения логической функции. Операции с нечеткими множествами.
лекция, добавлен 28.03.2020Обзор логико-алгебраического метода моделирования логических связей между вопросами теста, позволяющего получить интегральный показатель, оценивающий знания испытуемого. Построение логических уравнений, которые описывают связи между тестовыми вопросами.
статья, добавлен 14.07.2016Воспитание творческой активности учащихся в процессе изучения ими математики. Метод замены информации по эквивалентности и вывода логических следствий. Вывод формулы для решения квадратного уравнения, решение задач на построение алгебраическим методом.
статья, добавлен 15.03.2019Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Геометрические построения, историческая справка. Построения с помощью циркуля и линейки. Общие аксиомы конструктивной геометрии. Геометрические построения одной линейкой. Аксиомы математических инструментов. Окружность и ее центр (построение Штейнера).
курсовая работа, добавлен 10.12.2011Построение электрической модели городских транспортных сетей, позволяющей рассчитывать транспортные потоки, их скорость, плотность, количество полос движения с помощью законов электротехники. Обоснование корректности электрической модели, пример расчета.
статья, добавлен 20.05.2017Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Повышение общей мотивации к учению при использовании законов геометрии в изучении других предметов, связанных с геометрическими построениями. Особенность решения элементарных задач на построение с помощью использования программы "Живая геометрия".
статья, добавлен 22.04.2019Определение логических отношений между понятиями и выражение этих отношений с помощью круговых схем. Объединенная классификация суждений, изображение отношений между терминами с помощью кругов Эйлера, установление распределенности субъекта и предиката.
задача, добавлен 12.09.2010Расчет определителя матрицы второго порядка. Определение моды и медианы вариационного ряда. Построение кумуляты и гистограммы. Суть объектно-ориентированного подхода, реализованного в Windows. Понятие и запуск приложений, порядок установки и удаления.
задача, добавлен 06.06.2011Решение матричных уравнений по формулам Крамера, методом Гаусса, с помощью обратной матрицы. Нахождение производных функций уравнений. Исследование функции и построение графиков. Вычисление интегралов, применение метода интегрирования функции по частям.
контрольная работа, добавлен 23.04.2022Технические аспекты реализации. Операции криптографических алгоритмов. Вычислительная мощность числовых процессоров по количеству выполняемых элементарных логических операций. Теория реализации модулярных вычислений. Формульный метод получения МОЧНФ.
презентация, добавлен 10.08.2013- 122. Теория вероятностей
Нахождение вероятности выбора белых шаров из определенного количества черных. Вычисление вероятности выхода из строя элементов, заданных по условию, вероятность противоположного события. Построение графика вероятностей, использование формулы Бернулли.
контрольная работа, добавлен 24.09.2016 Искусство построения геометрических фигур в Древней Греции. Построение циркулем и линейкой куба, имеющего объем вдвое больший, чем объем данного куба. Три знаменитые классические задачи древности. Решение задач на построение с помощью циркуля и линейки.
статья, добавлен 09.04.2019Применение геометрических образов, полученных с помощью программных средств. Решение дифференциальных уравнений. Понятие автономной системы и фазового пространства. Фазовый портрет линейной системы на плоскости. Построение фазовых портретов в Delphi.
учебное пособие, добавлен 08.09.2015- 125. Метрические задачи
Определение точки, симметричной данной относительно плоскости. Построение разверток поверхностей, многогранника, кривых и цилиндрических поверхностей. Построение точки пересечения линии и поверхности. Построение линии пересечения двух плоскостей.
презентация, добавлен 09.03.2015