Программа CaMeng. Булево представление логических функций

НГТУ. Анализ логических схем. Синтез логических схем. синтез логических схем с одним выходом. синтез логических схем с многими выходами.

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

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

Приложение Булевой алгебры к синтезу комбинационных схем Формы задания Булевой функции. Основные законы (тождества). Разнообразие Булевых функций. Некоторые функции от трех переменных. Нормальные формы Булевых функций. Разнообразие двоичных алгебр. Числовое представление Булевых функций. Преобразование произвольной аналитической формы Булевой функции в нормальную. Приведение произвольных нормальных форм Булевой функции к каноническим. Минимизация...

Математическая логика. Алгебра высказываний. Функции алгебры логики. Минимизация булевых функций. Анализ и синтез логических сетей. Логические сети.

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

В главе I - Основания дискретной математики - вводятся основные понятия: множество, отображения и отношения, определяются их основные свойства, что объясняет и обосновывает основные операции алгебры множеств и булевых алгебр; все разделы главы подкреплены примерами и контрольными вопросами. В главе 2 - Элементы комбинаторики - формулируются основные понятия об упорядоченных и неупорядоченных выборках элементов из заданного множества, определяютс...

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

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

Могилев, Белорусско-российский университет, 2011, 33 с. Методические указания к практическим занятиям для студентов специальности 23 01 02 Автоматизированные системы обработки информации и управления Изложены основные теоретические сведения по минимизации логических функций, синтезу и анализу логических схем, способам формализации конечного автомата. Представлены практические задачи для самостоятельной работы.