Алгебра высказываний - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Алгебра высказываний. Доклад-сообщение содержит 22 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

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

Алгебра высказываний Лекция 3

Слайд 2

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

Дизъюнктивные нормальные формы (ДНФ)

Слайд 3

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

Слайд 4

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

Слайд 5

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

Слайд 6

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

Пример

Слайд 7

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

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

Слайд 8

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

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

Слайд 9

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

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

Слайд 10

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

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

Слайд 11

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

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

Слайд 12

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

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

Слайд 13

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

Приложения алгебры высказываний. Исследование переключательных схем

Слайд 14

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

Переключательные схемы

Слайд 15

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

Переключательные схемы Пример 1

Слайд 16

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

Переключательные схемы. Пример 1

Слайд 17

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

Переключательные схемы. Пример 2

Слайд 18

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

Переключательные схемы. Пример 2

Слайд 19

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

Задача на голосование Построить контактную схему для оценки результатов спортивного соревнования тремя судьями при условиях: судья засчитавший результат, нажимает имеющуюся в его распоряжении кнопку, а судья, не засчитывающий результат, кнопки не нажимает. В случае, если кнопки нажали не менее двух судей, загорается лампочка (положительное решение судей принятое большинством голосов).

Слайд 20

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

Задача на голосование Решение

Слайд 21

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

Задачи 2. Голосуют три человека A, B, C. Предложение принимается большинством голосов, причём C - председатель, обладающий правом вето, т. е. если он голосует "против", то предложение не принимается

Слайд 22

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

Задачи 3. Голосуют три человека A, B, C. Предложение принимается большинством голосов, причём выполняются следующие условия: а) если C голосует "за", то B голосует "против"; б) C голосует "против" тогда и только тогда, когда B голосует "за"; в) если C голосует "за" или B голосует "за", то A голосует "против"; г) A и B- коалиция, т. е. голосуют одинаково, а C им противоречит; д) C подозревает A и B в коалиции, т. е. если A и B голосуют одинаково, то C им противоречит; е) если C голосует "за", то A голосует "за" тогда и только тогда, когда B голосует "против"; ж) если B голосует "за", то C голосует "против" тогда и только тогда, когда A голосует "против"; з) если A голосует "за" или B голосует "против", то C голосует "за".

Теги Алгебра высказываний

Похожие презентации