Функции алгебры логики (булевы функции)
Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
Подобные документы
Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
научная работа, добавлен 15.09.2012Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.
контрольная работа, добавлен 28.01.2020Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Формулы сокращенного умножения и разложения на множители, степени и корни, квадратное уравнение, прогрессии (арифметическая, геометрическая) математики. Тригонометрия (формулы сложения двойного и половинного аргумента), геометрия и стереометрия.
шпаргалка, добавлен 01.05.2009Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Тригонометрическая система функций. Формулы интеграла Фурье для различных функций. Применение преобразования Фурье к задачам математической физики, электротехники. Решение уравнения Бесселя, возникающего при разделении переменных. Гармонический анализ.
курс лекций, добавлен 29.09.2014Графики элементарных функций, их непрерывность. Классификация точек разрыва. Кратко о Maple. Сущность первого и второго замечательных пределов. Сравнение бесконечно малых функций. Асимптотические формулы. Правило Лопиталя. Разложение в ряд Тейлора.
учебное пособие, добавлен 11.10.2012Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013- 62. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Характеристика применения дифференциального исчисления в экономике при помощи понятия эластичности. Определение понятия эластичности функции и его свойства. Свойства однородных функций. Использование формулы Эйлера в прикладных экономических расчетах.
курсовая работа, добавлен 17.03.2014Методика введения определений тригонометрических функций углов и изучения тригонометрических функций в курсе алгебры. Тождественные преобразования тригонометрических выражений. Тригонометрические уравнения и неравенства и методика обучения решению.
реферат, добавлен 06.03.2022Рассмотрение специальных классов цилиндрических функций. Гипергеометрическая функция и применение уравнений Бесселя в процессе решения уравнения Лапласа и Гельмгольца в цилиндрических и сферических координатах. Реккурентные формулы для функции Бесселя.
курсовая работа, добавлен 11.09.2012Определение функции нескольких переменных. Дифференциальные уравнения первого и высших порядков. Основные теоремы операционного исчисления (преобразования Лапласа). Числовые и знакоположительные ряды. Разложение в ряд Фурье четных и нечетных функций.
курс лекций, добавлен 18.02.2012Предел функции в точке, ее непрерывность. Бесконечно большие и малые функции. Классификация точек разрыва. Первый и второй замечательные пределы. Сравнение бесконечно малых функций. Асимптоматические формулы, правило Лопиталя. Разложение в ряд Тейлора.
учебное пособие, добавлен 12.02.2013Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Выявление вида неопределенности и вычисление предела функций. Формулы производной степени и дроби функции, исчисление производной. Определение непрерывной числовой прямой и исследование функции, её критические точки. Вычисление неопределенных интегралов.
контрольная работа, добавлен 20.01.2013Булевы переменные: действительные и фиктивные. Сокращение или расширение количества переменных для логических функций удалением или введением фиктивных. Составление комбинационной таблицы. Числа с плавающей запятой. Функционирование системы управления.
контрольная работа, добавлен 22.10.2013Исследование вопросов линейной алгебры и физики для активного и неформального усвоения: основные понятия и теоремы, формулы, решение практических задач, упражнения для самостоятельной работы, для решения на практических занятиях и для домашних заданий.
краткое изложение, добавлен 25.03.2011Определение основных понятий непрерывности функции в точке. Расчет величин прироста аргумента. Арифметические действия элементарных функций. Понятие гиперболических функций и их формулы. Множество и его значение. Точка разрыва и теорема непрерывности.
лекция, добавлен 26.01.2014Доказательство теоремы, позволяющей решить проблему разрешимости (выполнимости) для формул исчисления высказываний, содержащих предикаты, зависящие от одного переменного. Представление равносильности в виде тождественно истинной формулы для любого поля.
контрольная работа, добавлен 05.11.2017Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013