Реферат Курсовая Конспект
Дизъюнктивные и конъюнктивные нормальные формы. Совершенные нормальные формы. Алгоритм построения. - раздел Математика, Основные понятия теории множеств Дизъюнктивным Одночленом От N Переменных Называется Дизъюнкция Этих Переменны...
|
Дизъюнктивным одночленом от n переменных называется дизъюнкция этих переменных или их отрицаний
X1 / X2(отриц.)/ X3, X1 / X 3(отриц.) , X 1 / X 2 / X3
Аналогично конъюнктивным одночленом называется конъюнкция переменных или их отрицания
X1 / X2 ; X1 / X2 / X3
Формула являющаяся конъюнкцией дизъюнктивных одночленов называется КНФ.
(X1 / X2(отриц) / X3) / (X1 / X3(отриц)) / (X1 / X2 / X3)
Аналогично ДНФ выглядит так:
(X1 / X2) / (X1(отриц) / X2(отриц) / X3)
Алгоритм построения ДНФ и КНФ:
1. Избавиться от логических операций импликации, эквиваленции, если они есть в формуле
2. Применить закон Де Моргана
3. Избавиться от двойного отрицания
4. Если нужно применить законы дистрибутивности и
поглощения.
– Конец работы –
Эта тема принадлежит разделу:
Под множеством будем понимать совокупность определ нных вполне различаемых объектов рассматриваемых как единое целое это понятие фундаментально... Множества задаются двумя способами перечислением и описанием Задание... Описательный способ задания множества состоит в том что указывается характерное свойство которым обладают все...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Дизъюнктивные и конъюнктивные нормальные формы. Совершенные нормальные формы. Алгоритм построения.
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов