Дизъюнктивная нормальная форма

Особенности дизъюнктивной нормальной формы (ДНФ) в булевой логике — нормальной формы, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Использование в формуле закона двойного отрицания, закона де Моргана, закона дистрибутивности.

Подобные документы

  • Использование теоремы Муавра Лапласа при решении задачи по теории вероятности. Нахождение закона распределения, математического ожидания и дисперсии. Построение графика функции распределения, полигона относительных частот и гистограммы накопленных частот.

    задача, добавлен 24.08.2015

  • Аксиоматический метод в математике. Конъюнктивная и дизъюнктивная нормальные формы. Построение исчисления высказываний в виде формальной системы. Формализация математических теорий на языке первого порядка. Теорема о полноте. Алгоритмы и машина Тьюринга.

    учебное пособие, добавлен 07.08.2013

  • Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.

    контрольная работа, добавлен 28.01.2020

  • Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.

    презентация, добавлен 21.10.2018

  • Открытие К.Ф. Гауссом основного закона погрешностей, с которым связан способ наименьших квадратов. Разнообразие методов обработки результатов эксперимента. Эффективное использование избыточной информации. Противоречивость системы линейных уравнений.

    доклад, добавлен 10.09.2015

  • Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.

    контрольная работа, добавлен 01.02.2012

  • История Божественной гармонии. Первое упоминание деления отрезка в крайнем и среднем отношении. Применение закона гармонического деления в математике. Способ построения пентаграммы. Использование закономерности и связи золотого сечения и числа Фибоначчи.

    научная работа, добавлен 03.05.2019

  • Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.

    статья, добавлен 12.05.2018

  • Особенность определения отрицания высказывания. Основная характеристика дизъюнкции и конъюнкции суждений. Главный анализ построения логической операции импликации. Сущность эквивалентности двух фраз. Изучение обозначения штриха Шеффера и стрелки Пирса.

    презентация, добавлен 06.10.2015

  • Квадратурная формула Ньютона-Котеса, ее характеристика и частные случаи. Анализ квадратурной формулы Гаусса. Приближенное вычисление несобственных интегралов. Кубатурные формулы типа Симпсона как метод приближенного вычисления двойного интеграла.

    лекция, добавлен 26.09.2017

  • Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.

    реферат, добавлен 30.11.2014

  • Интерполирование как один из способов приближения функций. Интерполяционная формула Лагранжа. Формула Ньютона. Пример нахождения приближенного значения по интерполяционной формуле Лагранжа, Ньютона для значения заданного аргумента. Код программы Паскаль.

    контрольная работа, добавлен 21.10.2017

  • Создание математической модели, имеющей те же вероятностные характеристики, что и изучаемое случайное явление - одна из основных идей метода статистического моделирования. Специфические особенности закона распределения дискретной случайной величины.

    контрольная работа, добавлен 12.01.2017

  • Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.

    контрольная работа, добавлен 22.10.2013

  • Сущность теории вероятности, ее особенности применения при решении задач. Благоприятные исходы, их главные черты. Рассмотрение формулы полной вероятности. Функция распределения дискретной случайной величины. Понятие закона распределения их суммы.

    контрольная работа, добавлен 05.12.2015

  • Разложение функции по формуле Маклорена и в ряд Тейлора. Степенной порядок малости. Рост бесконечно большой в окрестности точки разрыва. Разложение по формуле Маклорена в окрестности бесконечно удаленной точки. Асимптоты графика функции на бесконечности.

    презентация, добавлен 28.09.2017

  • Определение вероятности того, что среди шести взятых одновременно деталей три окажутся первого вида. Проведение расчета вероятного числа студентов, родившихся 1 мая. Особенности применения полиноминальной схемы. Анализ закона распределения числа.

    задача, добавлен 07.11.2013

  • Содержание и особенности практического применения закона распределения случайной величины. Понятие математического ожидания и порядок его вычисления. Структура и свойства дисперсии. Начальный и центральный, корреляционный момент случайной величины.

    реферат, добавлен 05.03.2016

  • Принцип включений-исключений - важный комбинаторный приём, позволяющий подсчитывать размер каких-либо множеств или вычислять вероятность сложных событий. Специфические особенности формулировки данного математического закона с помощью диаграмм Венна.

    курсовая работа, добавлен 08.04.2016

  • Составление уравнения и определение его корней. Натуральные решения уравнения, доказательство гипотезы Била. Представление натурального числа по формуле остатков от деления целого числа на данное натуральное. Использование формулы для суммы кубов.

    статья, добавлен 03.03.2018

  • Расчет задач по теории вероятности с разными условиями наступления тех или иных событий по формуле Бернулли. Исчисление вероятности наступления конкретного события. Исчисление вероятности конкретной последовательности наступления определенных событий.

    контрольная работа, добавлен 23.01.2014

  • Основы вычислительной математики. Задачи численного интегрирования. Интерполяционная формула Лагранжа. Вывод формулы Симпсона, правила Рунге, метод двойного просчета, схема уточнения значений интеграла, процесс Эйтнена. Подсчет погрешности результата.

    реферат, добавлен 29.05.2009

  • Разработка и исследование метода проверки гипотез о виде функции плотности распределения случайной величины в условиях значительной априорной неопределенности. Особенности оценки потенциальной возможности повышения достоверности их классификации.

    статья, добавлен 29.06.2017

  • Основные черты распределения Релея. Особенности закона распределения случайной величины. Понятие и принципы построения гистограммы частот. Характеристика и порядок расчета среднего квадратического отклонения. Алгоритм генерации случайных величин.

    курсовая работа, добавлен 30.10.2013

  • Особенности построения интегральной кривой дифференциального уравнения первого порядка методом изоклин. Методы решения физической задачи с его помощью. Нахождение закона движения материальной точки с помощью дифференциального уравнения второго порядка.

    курсовая работа, добавлен 10.01.2012

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.