Программа - Определение принадлежности логической функции к пяти классам функций K0, K1, Kл, Кс, Км

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

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

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

М.: ФИЗМАТЛИТ, 2000. — 128 с. В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены буле...

Программа позволяет определить принадлежность логической функции 2 - 4 переменных к пяти классам функций: К0 - функции, сохраняющие ноль, К1 - функции, сохраняющие единицу, Кл - линейные функции, Кс - самодвойственные функции, Км - монотонные функции. Логическая функция задается в виде таблицы истинности. Имеется возможность сохранения результатов расчета в txt-файл, а также смены тем оформления окна программы. Работа выполнена в Воткинском филиа...

Программа позволяет построить полином Жегалкина для логической функции 2 - 5 переменных. Логическая функция задается в виде таблицы истинности. Работа выполнена в Воткинском филиале Ижевского ГТУ.rn

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

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

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

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