Минимизация функций алгебры логики
Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
Подобные документы
Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014- 29. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016- 31. Булевы функции
Существенная и фиктивная переменная функции. Наборы значений, которые принимают переменные. Функция, полученная с помощью подстановок функций друг в друга на места переменных, а также с помощью переименования этих переменных. Выражение суперпозиции.
контрольная работа, добавлен 24.09.2012 Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012Основные свойства и построение графиков степенной, показательной, логарифмической, тригонометрической и обратной тригонометрической функций. Определение элементарных функций, области их определения и значений. Примеры элементарных функций и их свойства.
курсовая работа, добавлен 30.04.2014Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013Разработка и обоснование новых и эффективных методов глобальной минимизации некоторых специальных классов негладких функций на выпуклых множествах. Разработка метода нахождения минимума негладкой выпуклой функции многих переменных на симплексе.
автореферат, добавлен 30.06.2018Изучение матриц и линейных уравнений как основных элементов линейной алгебры. Описание элементов векторной алгебры. Исследование основ аналитической геометрии на плоскости и в пространстве. Составляющие производных, функций и математического анализа.
курс лекций, добавлен 23.09.2012Вариационный подход Ритца. Схема метода Ритца. Базис из функций с финитным носителем. Пример построения схемы конечных элементов. Интерполяционный многочлен Лагранжа. Одномерные элементы, ассоциируемые с ними иерархические базисные функции, аппроксимации.
курсовая работа, добавлен 12.12.2010Численное решение системы дифференциальных уравнений. Решение задач интегрирования системы ОДУ методом Рунге-Кутты, условная минимизация функции нескольких переменных заданным методом с использованием программы Matlab сведением в графики и таблицы.
курсовая работа, добавлен 10.03.2020Использование алгебраического метода решения задач на построение в теории конструктивных задач. Определение взаимосвязи алгебры и геометрии. Обзор примеров задач на построение и схем их решения. Построение отрезков, заданных основными формулами.
курсовая работа, добавлен 25.01.2017Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Математический анализ как наука. Изучение задач на нахождение максимума и минимума. Экстремумы одной, трех и многих переменных. Метод вычисления критериев Сильвестера. Множитель Лагранжа. Стационарные точки функций. Факты дифференциального исчисления.
дипломная работа, добавлен 16.01.2014Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.
реферат, добавлен 10.11.2011Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013- 47. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Решение задач с параметрами в школьной программе. Методы решения уравнений и неравенств. Поиск области определения уравнения. Точки пересечения прямой с графиком функции. Система значений переменных. Множество всех допустимых значений уравнения.
контрольная работа, добавлен 04.12.2011Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014