Функционально полные системы булевых функций
Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
Подобные документы
Сокращенные, тупиковые дизъюнктивные нормальные формы. Полные системы булевых функций. Алгоритм Квайна, Мак-Класки минимизации булевой функции. Геометрическое представление логических функций. Геометрический метод минимизации булевых функций. Карты Карно.
курсовая работа, добавлен 21.02.2009Использование эквивалентных преобразований. Понятие основных замкнутых классов. Метод минимизирующих карт и метод Петрика. Операция неполного попарного склеивания. Полином Жегалкина и коэффициенты второй степени. Таблицы значений булевых функций.
контрольная работа, добавлен 06.06.2011Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Понятие, основные свойства элементарных булевых функций и соотношения между ними. Формулировка принципа двойственности. Совершенные дизъюнктивная и конъюнктивная нормальные формы. Многочлен (полином) Жегалкина. Суперпозиция и замыкание класса функций.
презентация, добавлен 05.02.2016Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
курсовая работа, добавлен 27.04.2011Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.
контрольная работа, добавлен 05.07.2014Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Понятие и основные свойства обратной функции. Нахождение функции, обратной данной. Область определения функции. Обратимость монотонной функции. Построение графиков функций и определение их свойств. Симметричность графиков функций относительно прямой у=х.
презентация, добавлен 18.01.2015Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.
учебное пособие, добавлен 29.04.2009Определение и простейшие свойства измеримой функции. Дальнейшие свойства измеримых функций. Последовательности измеримых функций. Сходимость по мере. Структура измеримых функций. теоремы о приближении измеримых функций.
курсовая работа, добавлен 28.05.2007Локальные экстремумы функции. Теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа. Достаточные условия экстремума функции. Исследование функций на выпуклость и вогнутость. Точка перегиба. Асимптоты графика функции. Схема построения графика.
курс лекций, добавлен 27.05.2010Теорема о представлении дзета-функции Дедекинда произведением L-рядов Дирихле, ее доказательство в виде произведения L-функций в разветвленном и неразветвленном случаях. Приложение теоремы: выведение функционального уравнения дзета-функции Дедекинда.
курсовая работа, добавлен 15.06.2011Основные теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа и их доказательство. Локальные экстремумы функции, исследование ее на выпуклость и вогнутость, понятие точки перегиба. Асимптоты и общая схема построения графика функции.
реферат, добавлен 12.06.2010- 17. Правила перевода из двоичной системы числения в восьмеричную и шестнадцатеричную системы счисления
Сущность двоичной, восьмеричной и шестнадцатиричной систем счисления, их отличительные черты и взаимосвязь. Пример алгоритмов перевода чисел из одной системы в другую. Составление таблицы истинности и логической схемы для заданных логических функций.
презентация, добавлен 12.01.2014 Понятие функции в древнем мире: Египет, Вавилон, Греция. Графическое изображение зависимостей, история возникновения. Вклад в развитие графиков функций Рене Декартом. Определение функций: понятие и способы задания. Методы построения графиков функций.
реферат, добавлен 09.05.2009Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
курсовая работа, добавлен 12.07.2015Общее определение коэффициентов по методу Эйлера-Фурье. Ортогональные системы функций. Интеграл Дирихле, принцип локализации. Случай непериодической функции, произвольного промежутка, четных и нечетных функций. Примеры разложения функций в ряд Фурье.
курсовая работа, добавлен 12.12.2010Понятие числовых функций с областью определения, аргумент и области их значений, свойства и графическое выражение. Определение четных и нечетных функций, периодичность тригонометрических функций. Свойства, используемые при построении их графиков.
презентация, добавлен 13.12.2011Вычисление пределов гиперболических функций. Дифференцирование сложной функции. Разложение гиперболических функций по формуле Тейлора. Свойства неопределенного интеграла, интегрирование функций. Гиперболические функции комплексного переменного.
дипломная работа, добавлен 11.01.2011Система линейных неравенств, определяющих треугольник. Доказательство базиса четырехмерного пространства и определение координат вектора. Исследование функций на периодичность, монотонность и экстремум. Площади фигуры, ограниченной графиками функций.
контрольная работа, добавлен 26.01.2010Доказательство теоремы о выявлении алгебраической замкнутости поля С (то есть существования корня у любого отличного от константы полинома с комплексными коэффициентами) согласно с принципами лемм Даламбера и о достижении точной нижней грани значений.
реферат, добавлен 01.03.2010- 25. Алгебра логики
Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат, добавлен 06.12.2010