Программа - Полином Жегалкина

Составить таблицы истинности для формул,Записать формулы в ДНФ и СДНФ, Построить полином Жегалкина для функций,..

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

Построение таблицы истинности, СКНФ и СДНФ, полином Жегалкина, карты Карно, Построение ориентированного графа, алгоритм Прима и Дейкстры

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

Бета-версия. Отображает заданные пользователем логические функции в виде диаграммы Эйлера- Венна. Функции могут быть заданы выражением, таблицей истинности или картой Карно. Программа позволяет рассчитать СДНФ, СКНФ и полином Жегалкинаrn

Пособие разработано БФ НГТУ. Содержит конспект лекций с примерами, а также решение типовых задач по темам: Логические (булевы) функции. Свойства конъюнкции, дизъюнкции и отрицания. ДНФ, СДНФ, КНФ, СКНФ. Представление логических функций в виде СДНФ (СКНФ). Полиномы Жегалкина. Нахождение сокращенной ДНФ по таблице истинности (карты Карно). Суперпозиция функций. Графы. Деревья.

Полиномы Жегалкина и поляризованные полиномы. Реализация булевых функций обобщенными полиномами. Распознавание свойств функций, заданных полиномами. Предствление булевых функций полиномами над Z.

«Дискретный анализ» Понятие множества, элементов множества, подмножество, универсальное множество, пустое множество. Операции над множествами и их семействами: объединение, пересечение, дополнение, разность. Понятие графа. Полный граф. Вершина, степень вершины. Теорема о сумме степеней вершин графа. Теорема о числе нечетных вершин графа. Цикл. Путь. Длина пути. Связность графа. Мост. Деревья, лес. Плоский граф. Формула Эйлера о числе ребер и числ...

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

Множества, основные понятия, способы задания. Операции над множествами. Булева алгебра множеств. Отношения. Отображение и функции. Двойственность. Принцип двойственности. Разложение функции по переменным. Реализация функций многочленом Жегалкина. Замкнутость и полнота. Графы.