лаб 5

Лабораторная работа № 5 «Алгебра логики»

ЗАДАНИЕ 1. ФОРМАЛИЗАЦИЯ ВЫСКАЗЫВАНИЙ

1. Формализовать высказывания с помощью логических переменных и символов логических операций.

1) Если защитить все лабораторные работы и написать контрольный тест, то можно набрать 75 балов, а это означает возможность получить «автомат».
2) Если защищать лабораторную работу без отчета или не написать контрольный тест, то теряется возможность получить «автомат».
3) Если пропустить лекцию и не написать реферат, то из рейтинга вычитаются 6 баллов, а значит, в итоге можно не дотянуть до «автомата».
4) Если при защите лабораторных блеснуть дополнительными знаниями, то можно заработать дополнительно 5 баллов, а следовательно повысить семестровый рейтинг и может быть заработать «автомат».
5) Если пропускать занятия или вовремя не отрабатывать пропуски, то к концу семестра можно «утонуть» в долгах и не выйти на сессию.
ЗАДАНИЕ 2. ЛОГИЧЕСКИЕ ЗАДАЧИ

1. Формализовать логическую задачу. Записать формульное выражение.
2. Решить задачу табличным способом.
Вариант 1. Спор болельщиков о результатах скачек.
Петя: Выиграет Алмаз. Пират никогда не приходил первым.
Вася: У Пирата лучше данные он будет первым. А на Алмаза лучше не ставить.
Коля: Алмазу не видать первого места. Победит Пират.
В итоге оказались правы двое из друзей. Кто из лошадей победил в забеге?
Вариант 2. Спор болельщиков о результатах скачек.
Петя: Выиграет Алмаз. Пират никогда не приходил первым.
Вася: У Пирата лучше данные он будет первым. А на Алмаза лучше не ставить.
Коля: Алмазу не видать первого места. Победит Пират.
В итоге оказался прав один из друзей. Кто из лошадей победил в забеге?
Вариант 3. Спор болельщиков о результатах скачек.
Петя: Выиграет Алмаз или Гранат.
Вася: Первым будет Верный.
Коля: Или Верный, или Алмаз.
В итоге оказался прав один из друзей. Кто дал верный прогноз?
Вариант 4. Спор болельщиков о результатах скачек.
Петя: Выиграет Алмаз или Гранат.
Вася: Первым будет Верный.
Коля: Или Верный, или Алмаз.
В итоге оказался прав один из друзей. Кто из лошадей победил в забеге?
ЗАДАНИЕ 3. АНАЛИЗ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ

1. Определить наборы значений входных сигналов, при которых выходной сигнал примет значение «ложь».
1) ¬(x ^y) V x
2) (x V y) V ¬x
3) x V y ^¬x
4) ¬(x V y) V x


ЗАДАНИЕ 4. ИССЛЕДОВАНИЕ ФОРМУЛЫ

1. С помощью таблиц истинности исследовать формулу на тождественную истинность (ложность).
Вариант 1. ¬(¬x ^ x) V y ^ (x ^ y V y)
Вариант 2. a ^ b ^ (c V ¬e V d) ^ ¬b
Вариант 3. x ^ (y ^ (¬x V ¬y))
Вариант 4. ¬((¬x V y) ^ (¬y Vz)) V ¬x V z





15

Приложенные файлы

  • doc 19331292
    Размер файла: 30 kB Загрузок: 6

Добавить комментарий