Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Вычисление значения логического выражения для заданного набора значений переменных

 

Есть некоторое выражение, необходимо подставить соответствующее значение переменных и определить, является истинным или ложным соответствующее выражение.

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

 

Задача 4.

 
 


Вычислить значение функции

 

при x = 1, y = 0, z = 1

 

Решение:

Подставляем в выражение функции, соответствующие значения переменных:

Используем выражения для работы с константами,

значение функции будет истинным.

 

Задача 5.

Три свидетеля дорожного происшествия сообщили сведения о скрывшемся нарушителе. Боб утверждает, что тот был на синем «Рено», Джон сказал, что нарушитель уехал на черной «Тойота», а Сэм показал, что машина была точно не синяя и, по всей видимости, это был «Форд». Когда удалось отыскать машину, выяснилось, что каждый из свидетелей точно определил только один из параметров автомобиля, а в другом ошибся. Какая и какого цвета была машина у нарушителя?

 

Решение:

Обозначим высказывания:

А = «машина синего цвета»;

В = «машина была «Рено»;

С = «машина черного цвета»;

D = «машина была «Тойота»;

Е = «машина была «Форд».

Согласно условию:

из показаний Боба следует, что А + В истинно;

из показаний Джона следует, что С + D истинно;

из показаний Сэма следует, что Ā + Е истинно.

Следовательно, истинна и конъюнкция

(А + В) & (С + D) & (Ā+ Е) = 1.

 

Раскрываем скобки:

 

Анализируем:

1) BD - «машина была «Рено» и «машина была «Тойота» -
такого одновременно не может быть! Поэтому вторая
и шестая конъюнкции – ложные, т.е. равны 0.

2) AC - «машина синего цвета» и «машина черного цвета» -
одновременно не может быть! Поэтому третья
конъюнкция – ложная, т.е. равна 0.

3) DE - «машина была «Тойота» и «машина была «Форд» -
одновременно не может быть! Поэтому четвертая
конъюнкция – ложная, т.е. равна 0.

4) BE - «машина была «Рено» и «машина была «Форд» -
одновременно не может быть! Поэтому пятая
конъюнкция – ложная, т.е. равна 0.

 

Получаем:

 
 


Т.е.


- означает: «машина была «Рено» и машина черного цвета, и машина НЕ синего цвета»

 

Ответ:

Нарушитель скрылся на черном «Рено»

<== предыдущая лекция | следующая лекция ==>
План лекции. Решение задач математической логики | Введение. Построение таблиц истинности булевых функций
Поделиться с друзьями:


Дата добавления: 2014-01-05; Просмотров: 920; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.008 сек.