СКНФ и СДНФ. Алгоритм получения по таблице истинности
Похожие презентации:
Элементы комбинаторики ( 9-11 классы)
Применение производной в науке и в жизни
Проект по математике «Математика вокруг нас. Узоры и орнаменты на посуде»
Знакомство детей с математическими знаками и монетами
Тренажёр по математике «Собираем урожай». Счет в пределах 10
Методы обработки экспериментальных данных
Лекция 6. Корреляционный и регрессионный анализ
Решение задач обязательной части ОГЭ по геометрии
Дифференциальные уравнения
Подготовка к ЕГЭ по математике. Базовый уровень Сложные задачи
СКНФ и СДНФ. Алгоритм
получения по таблице
истинности
Дискретная математика, группа
2ИС 26.03.2022
СДНФ и СКНФ (определения)
Элементарной конъюнкцией называется конъюнкция нескольких
переменных, взятых с отрицанием или без отрицания, причем среди
переменных могут быть одинаковые
X Y X Z
Элементарной дизъюнкцией называется дизъюнкция нескольких
переменных могут быть одинаковые
X Y X Z
Всякую дизъюнкцию элементарных конъюнкций назовем дизъюнктивной
нормальной формой (ДНФ)
X Y X Z
Всякую конъюнкцию элементарных дизъюнкций назовем конъюнктивной
нормальной формой (ДНФ)
(X Y) (X Z)
СДНФ и СКНФ (определения)
Совершенной дизъюнктивной нормальной формой (СДНФ),
называется ДНФ, в которой нет одинаковых элементарных конъюнкций и
все конъюнкции состоят из одного и того же набора переменных, в
который каждая переменная входит только один раз (возможно с
отрицанием).
X Y Z X Y Z X Y Z
Совершенной конъюнктивной нормальной формой (СКНФ),
называется КНФ, в которой нет одинаковых элементарных дизъюнкций и
все дизъюнкции состоят из одного и того же набора переменных, в
который каждая переменная входит только один раз (возможно с
отрицанием).
(X Y Z) (X Y Z) (X Y Z)
Алгоритм получения СДНФ
по таблице истинности
1. Отметить строки таблицы истинности в
последнем столбце которых стоят 1.
2. Выписать для каждой отмеченной строки
конъюнкцию всех переменных следующим
образом: если значение переменной в
данной строке равно 1, то в конъюнкцию
включать саму эту переменную, если
равно 0, то ее отрицание.
3. Все полученные конъюнкции связать в
дизъюнкцию.
Пример построения СДНФ
X
0
Y
0
F(X,Y)
0
0
1
1
1
0
1
1
1
0
1. Отметить единицы
2. Конъюнкции:
X·Y
X·Y
3. Дизъюнкция:
X·Y+X·Y
Алгоритм получения СКНФ
по таблице истинности
1.
Отметить строки таблицы истинности впоследнем столбце которых стоят 0.
2. Выписать для каждой отмеченной строки
дизъюнкцию всех переменных следующим
образом: если значение переменной в
включать саму эту переменную, если
равно 1, то ее отрицание.
3. Все полученные дизъюнкции связать в
конъюнкцию.
Пример построения СKНФ
X
0
0
Y
0
1
F(X,Y)
0
1
1. Отметить нули
2. Дизъюнкции:
X+Y
X+Y
1
0
1
1
1
0
3. Конъюнкция:
(X + Y) · (X + Y)
English Русский Правила
Ответов пока нет | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Посмотреть всех экспертов из раздела Учеба и наука > Математика | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Одновременно с ним из пункта А вышел катер.Дойдя до В,катер сразу же…Univerzitet Crne Gore
Erasmus+ konkursi za razmjenu studenata i osoblja objavljeni u ljetnjem semestru
Erasmus+ konkursi
Издвоено
- 23.03.2023
- Экономический факультет
Ekonomska saradnja sa Kinom u funkciji evropskih integracija zemalja regiona
Konferencija ,Pojas i put — saradnja Kine i zemalja Centralne i istočne Evrope» koja je na Ekonomskom fakultetu Univerziteta Crne Gore okupila veliki broj učesnika i studenata, bila je prilika da se sumiraju rezultati višegodišnja saradnje Crne Gore sa Narodnom republikom Kinom.
- 23.03.2023
Ректорат
Otvorene prijave za программа SIA: Prve edukativne radionice za mlade od 27….
- 23.03.2023
Факультет драматических искусств
Г-н Янко Люмович Донирао Нове Наслов Biblioteci umjetnosti
- 22.03.2023
Студенческий парламент
Sajam sezonskog zapošljavanja u Tivtu za studente Univerziteta Crne Gore
- 22.
03.2023
03.2023Музыкальная академия
Камерный ансамбль Музыкальная академия, освоившая другую и третью награду на медицинском факультете
- 22.03.2023
Факультет спорта и физической подготовки
Uspostavljena saradnja sa Fudbalskim savezom Crne Gore
- 22.03.2023
Правни факультет
Otpočela pravna klinika UNHCR-a o izbjegličkom pravu
- 21.03.2023
Канцелярия карьерного роста и CŽU
Представительство промышленных предприятий HI «Poliex» AD Беране
- 21.03.2023
Институт Конфуций
Poziv Instituta Konfucije: Takmičenje u kaligrafiji na temu proljeća
Наджаве
- 22.03.2023
- Ректорат
Гуманитарная акция Университета Черного Гора за помощь Турской и Сирийской
- 20.03.2023
- Ректорат
Медицинская неделя обуке за академическими и административными учреждениями
- 17. 03.2023
- Ректорат
03.2023FDU u Crnogorskoj kinoteci Музыкальный центр: 17-24. марта
- 15.03.2023
- Ректорат
Дан отворенных врата Univerziteta Crne Gore
- 15.03.2023
- Ректорат
Sajam sezonskog zapošljavanja Summer Job 2023
- 10.03.2023
- Ректорат
Izložbu 3D štampani snovi 10. marta otvoriće princ Никола Петрович Негош
- 20.02.2023
- Ректорат
Панельная дискуссия на тему «Инновационно удруживанье у цифровой трансформации Crne Gore»
Академская выставка
- 22.03.2023
- Экономический факультет
Master rad/Stojanka Žunić/Ekonomski fakultet
- 22.03.2023
- Филолошки факультет
Odbrana master rada / Anela Reković / Filološki fakultet
- 22.03.2023
- Экономический факультет
Master rad/Таня Бойович/Экономический факультет
- 22.
