PPt4Web Хостинг презентаций

Главная / Математика / Дизъюнктивные нормальные формы (ДНФ). Совершенные дизъюнктивные нормальные формы (СДНФ)
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Дизъюнктивные нормальные формы (ДНФ). Совершенные дизъюнктивные нормальные формы (СДНФ)


Скачать эту презентацию

Презентация на тему: Дизъюнктивные нормальные формы (ДНФ). Совершенные дизъюнктивные нормальные формы (СДНФ)


Скачать эту презентацию



№ слайда 1
Описание слайда:

№ слайда 2
Описание слайда:

№ слайда 3
Описание слайда:

№ слайда 4
Описание слайда:

№ слайда 5
Описание слайда:

№ слайда 6 Определение 1 Определение 1 Пусть  – некоторое множество логических перемен
Описание слайда:

Определение 1 Определение 1 Пусть  – некоторое множество логических переменных. Элементарная конъюнкция, в которую входят все логические переменные, называется полной элементарной конъюнкцией относительно множества X .

№ слайда 7 Определение 2 Определение 2 Дизъюнктивная нормальная форма называется совершенно
Описание слайда:

Определение 2 Определение 2 Дизъюнктивная нормальная форма называется совершенной (СДНФ), если все составляющие ее элементарные конъюнкции являются полными. Примеры

№ слайда 8 Теорема   Теорема   Высказывание, не являющееся тождественно ложным, п
Описание слайда:

Теорема   Теорема   Высказывание, не являющееся тождественно ложным, приводимо к СДНФ. Правило приведения высказывания к СДНФ СДНФ содержит столько полных элементарных конъюнкций, сколько единиц в последнем столбце таблице истинности. Вид каждой полной элементарной определяется соответствующим набором значений переменных, а именно, если переменная принимает значение 0, то над ней в полной элементарной конъюнкцией ставится отрицание, иначе – отрицание не ставится.

№ слайда 9 Построить по таблице истинности СДНФ Построить по таблице истинности СДНФ
Описание слайда:

Построить по таблице истинности СДНФ Построить по таблице истинности СДНФ

№ слайда 10 «Вернувшись домой, Мегрэ позвонил на набережную Орфевр. «Вернувшись домой, Мегрэ
Описание слайда:

«Вернувшись домой, Мегрэ позвонил на набережную Орфевр. «Вернувшись домой, Мегрэ позвонил на набережную Орфевр. - Говорит Мегрэ. Есть новости? - Да, шеф. Поступили сообщения от инспекторов. Торранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжет. Жуссье считает, что или Этьен убийца, или Франсуа не был пьян и убийство произошло после полуночи. Инспектор Люка просил передать Вам, что если убийство произошло после полуночи, то либо Этьен убийца, либо Франсуа лжет. Затем звонила … - Все. Спасибо. Этого достаточно. – Комиссар положил трубку. Он знал, что трезвый Франсуа никогда не лжет. Теперь он знал все.» Что знал Мегрэ?

№ слайда 11 Пусть P=« Франсуа был пьян» L=«Франсуа лжет» I=«Этьен убийца» U=«Убийство произо
Описание слайда:

Пусть P=« Франсуа был пьян» L=«Франсуа лжет» I=«Этьен убийца» U=«Убийство произошло после полуночи» Тогда получим высказывание

№ слайда 12 Вопросы: Является ли СДНФ-ДНФ? Можно ли построить СДНФ для высказывания, в табли
Описание слайда:

Вопросы: Является ли СДНФ-ДНФ? Можно ли построить СДНФ для высказывания, в таблице истинности которого отсутствуют 1?

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru