Доклад - Минимизация частично определенных функций

Курс лекций. - Воткинск: Воткинский филиал ИжГТУ, 2002. – 77с. Содержание: Теория множеств Множество Операции над множествами Векторы и прямые произведения Соответствия и функции Отношения Элементы общей алгебры Логика Логические функции Совершенные нормальные формы. Разложение функций по переменным Минимизация формул алгебры высказываний Тупиковые ДНФ Минимизация не полностью определенных функций Совместная минимизация булевых фун...

Методические указания. Тверь: Из-во ТГТУ, 1996 г. 7 стр. Теоретические предпосылки табличных методов минимизации булевых функций в классе дизъюнктивных нормальных форм. Минимизация булевых функций с использованием диаграмм Вейча. Минимизация булевых функций методом симметричных таблиц.

Редакционно – издательский комплекс УГАТУ, 2000 Элементы комбинаторики Перестановки. Размещения. Сочетания Задачи по комбинаторике Функции алгебры логики Элементарные функции алгебры логики Формульное задание функций алгебры логики Принцип двойственности Разложение булевой функции по переменным Полнота, примеры полных систем Замыкание и замкнутые классы Функции k – значной логики Задачи и упражнения по функциям алгебры логики Миними...

Содержание. Элементы комбинаторики. Перестановки. Размещения. Сочетания. Задачи по комбинаторике. Функции алгебры логики. Элементарные функции алгебры логики. Формульное задание функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Полнота, примеры полных систем. Замыкание и замкнутые классы. Функции k – значной логики. Задачи и упражнения по функциям алгебры логики. Минимизация булевых функций. Минимизация нор...

НГТУ. Минимизация булевых функций. Методы минимизации булевых функций: метод неопределенных коэффицентов метод Квайна-МакКласки метод Петрика метод Блека-Порецкого.

Содержание. Булевы переменные и функции +примеры решений. Элементарные булевы функции. Равносильности +примеры решений. Дизъюнктивные нормальные формы +примеры решений. Минимизация Днф +примеры решений. Конъюнктивные нормальные формы +примеры решений. Минимизация Кнф +примеры решений. Полиномиальное разложение булевых функций +примеры решений. Разложение булевых функций в канонический полином Жегалкина +примеры решений. Арифметическое разложение...

Сложение в шестнадцатеричной, двоичной, восьмеричной и десятичной системах счисления. Минимизация логических функций методами тождественных преобразований и S-кубов. Минимизация логических функций методом карт Карно. Построение логических схем. Построение графа конечного автомата по общей таблице выходов и переходов. Моделирование работы конечного автома-та. 15 страниц ТулГУ.

Понятие алгебры. Логические функции. Булева алгебра логических функций и эквивалентные преобразования в ней. Нормальные формы. Минимизация логических функций. Полнота системы логических функций.

МГТУ "Станкин", кафедра прикладной математики Двузначная логика: - Функции алгебры логики. - Суперпозиция и формулы. - Булева алгебра. - Алгебра Жегалкина. - Нормальные формы логических функций. - Минимизация функций. - Полнота и замкнутость. К-значная логика: - Элементарные функции. - Основные свойства элементарных функций. - Основные формы функций. - Представление функций полиномами. - Полнота и замкнутость. Элементы теории графов:...

Элементы комбинаторики. Перестановки. Размещения. Сочетания. Задачи по комбинаторике. Функции алгебры логики. Элементарные функции алгебры логики. Формульное задание функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Полнота, примеры полных систем. Замыкание и замкнутые классы. Функции k – значной логики. Задачи и упражнения по функциям алгебры логики. Минимизация булевых функций. Минимизация нормальных фор...