Пример готовой контрольной работы по предмету: Логика
Содержание
1. Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным.
2) Четыре друга – Антонов (А), Вехов (В), Сомов (С), Деев (Д) решили провести каникулы в четырех разных городах – Москве, Одессе, Киеве и Ташкенте. Определите, в какой город должен поехать каждый из них, если имеются следующие ограничения:
Если А не едет в Москву то С не едет в Одессу
Если В не едет ни в Москву ни в Ташкент, то А едет в Москву
Если С не едет в Ташкент, то В едет в Киев
Если Д не едет в Москву, то В не едет в Москву
Если Д не едет в Одессу, то В не едет в Москву
3) Доказать при помощи метода резолюций, что формула G является логическим следствием формул F1…Fn
4) Изобразить на диаграмме Эйлера – Венна область истинности для следующего предиката
5) Построить машину Тьюринга:
Дана конечная последовательность меток, записанных в клетки ленты подряд, без пропусков. Необходимо разработать машину Тьюринга, которая будет записывать в десятичной системе счисления число этих меток. Каретка слева.
И другие
Выдержка из текста
1. Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным.
2) Четыре друга – Антонов (А), Вехов (В), Сомов (С), Деев (Д) решили провести каникулы в четырех разных городах – Москве, Одессе, Киеве и Ташкенте. Определите, в какой город должен поехать каждый из них, если имеются следующие ограничения:
Если А не едет в Москву то С не едет в Одессу
Если В не едет ни в Москву ни в Ташкент, то А едет в Москву
Если С не едет в Ташкент, то В едет в Киев
Если Д не едет в Москву, то В не едет в Москву
Если Д не едет в Одессу, то В не едет в Москву
3) Доказать при помощи метода резолюций, что формула G является логическим следствием формул F1…Fn
4) Изобразить на диаграмме Эйлера – Венна область истинности для следующего предиката
5) Построить машину Тьюринга:
Дана конечная последовательность меток, записанных в клетки ленты подряд, без пропусков. Необходимо разработать машину Тьюринга, которая будет записывать в десятичной системе счисления число этих меток. Каретка слева.
И другие
Список использованной литературы
1. Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным.
2) Четыре друга – Антонов (А), Вехов (В), Сомов (С), Деев (Д) решили провести каникулы в четырех разных городах – Москве, Одессе, Киеве и Ташкенте. Определите, в какой город должен поехать каждый из них, если имеются следующие ограничения:
Если А не едет в Москву то С не едет в Одессу
Если В не едет ни в Москву ни в Ташкент, то А едет в Москву
Если С не едет в Ташкент, то В едет в Киев
Если Д не едет в Москву, то В не едет в Москву
Если Д не едет в Одессу, то В не едет в Москву
3) Доказать при помощи метода резолюций, что формула G является логическим следствием формул F1…Fn
4) Изобразить на диаграмме Эйлера – Венна область истинности для следующего предиката
5) Построить машину Тьюринга:
Дана конечная последовательность меток, записанных в клетки ленты подряд, без пропусков. Необходимо разработать машину Тьюринга, которая будет записывать в десятичной системе счисления число этих меток. Каретка слева.
И другие
