Минимизация функций алгебры логики
Представление функции алгебры логики в совершенной дизъюнктивной нормальной форме. Преобразования и минимизация в базисе, который состоит из функции Вебба. Порядок построения таблицы меток из исходных и первичных импликантов в виде двоичных кодов.
Подобные документы
Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.
курсовая работа, добавлен 22.06.2011Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
лекция, добавлен 15.11.2017Функции алгебры логики одной переменной. Пример равносильных вариантов аналитической записи функции f1(x). Пример технической реализации функции f6(x) на контактах электромагнитных реле. Построение дискретного устройства. Релейно-контактная схема.
лекция, добавлен 15.11.2017Изучение специальной алгебры, занимающейся исчислением высказываний. Её роль в описании работы дискретных устройств. Элементарные функции алгебры логики. Использование двух приемов для построения произвольной. Предназначение эквивалентных соотношений.
лекция, добавлен 06.03.2014Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Конъюнкция двух булевых переменных. Литерал как любая формула вида x, где x — произвольная переменная. Минимизация системы функций. Поиск простых импликантов исходной системы. Построение матрицы покрытия и ее сокращение. Дизъюнктивная нормальная форма.
реферат, добавлен 21.06.2014Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
лекция, добавлен 15.11.2017Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014