Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Мат. логика к.р.NEW.doc
Скачиваний:
9
Добавлен:
18.11.2018
Размер:
323.07 Кб
Скачать

Методические рекомендации по выполнению контрольных заданий

Контрольная работа сдается 10 дней до начала сессии, до начала практических занятий. В случае неудовлетворительной оценки студентом проводится работа над ошибками.

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

Контрольная работа представлена в четырех вариантах. Распределение вариантов провести по первой букве фамилии студента в соответствии с таблицей

Начальная буква фамилии

Номер варианта

А,Е,Л

1

Р,У,Х,Э,

2

Б,Ж,М

3

С,Ц,Ш,Ю

4

В,З,Н,Ч

5

Г,И,О

6

Д,К,П

7

Т,Ф,Щ,Я

8

Контрольная работа зачтена, если выполнены все задания контрольной работы и выполнены необходимые ссылки на теоретический материал.

Демонстрационный вариант Указания к заданиям: знак  читать как знак , а знак  как знак  Задание № 1

Составить СНФ для формулы, минимизировать и построить релейно-контактную схему: F(P,Q)=(P  Q)  (┐Q\/ P).

P

Q

P  Q

┐Q\/ P

F(P,Q)

СДНФ

СКНФ

0

0

1

1

1

P0Q0

0

1

1

0

0

P0Q1

1

0

0

1

0

P1Q0

1

1

1

1

1

P1Q1

СДНФ: (PQ)(PQ)

СКНФ: (PQ)  (PQ)

Обе формы нельзя минимизировать.

Схема для СДНФ

P Q

P Q

Задание № 2

Решить логическую задачу. Три дочери писательницы Дорис Кей – Джуди, Айрис и Линда, тоже очень талантливы. Они приобрели известность в разных видах искусств – пении, балете и кино. Все они живут в разных городах, поэтому Дорис часто звонит им в Париж, Рим и Чикаго. Известно, что:

- Джуди живет не в Париже, а Линда не в Риме;

- парижанка не снимается в кино;

- та, кто живет в Риме, певица;

- Линда равнодушна к балету.

Кто из дочерей где живет и чем занимается?

Решение. Составим таблицу, в которой отразим условия

Париж

Рим

Чикаго

Пение

Балет

Кино

Джуди

0

Айрис

Линда

0

0

Далее, так как Линда не живет в Риме, а римлянка певица делаем вывод, что она не певица, а следовательно киноактриса. И так как парижанка в кино не снимается, то соответственно она живет в Чикаго.

Париж

Рим

Чикаго

Пение

Балет

Кино

Джуди

0

Айрис

Линда

0

0

1

0

0

1

Из таблицы видно что Айрис живет в Париже. И заполняем нулями.

Париж

Рим

Чикаго

Пение

Балет

Кино

Джуди

0

0

0

Айрис

1

0

0

0

Линда

0

0

1

0

0

1

Отсюда следует, что Джуди живет в Риме и, соответственно, является певицей.

Париж

Рим

Чикаго

Пение

Балет

Кино

Джуди

0

1

0

1

0

0

Айрис

1

0

0

0

1

0

Линда

0

0

1

0

0

1

Окончательно заполняем таблицу и формируем ответ.

Ответ: Джуди живет в Риме и является певицей, Айрис живет в Париже и является балериной, а Линда живет в Чикаго и является киноактрисой.