50

Математическая логика и теория алгоритмов

ID: 192330
Дата закачки: 03 Июня 2018
Продавец: vohmin (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Работа Зачетная
Сдано в учебном заведении: ДО СИБГУТИ

Описание:
2. Является ли следующее рассуждение верным?
Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийство произошло после полуночи. Если убийство произошло после полуночи, то либо Смит был убийцей, либо Джон лжет. Следовательно, убийцей был Смит.

Решение

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


Размер файла: 9,4 Кбайт
Фаил: (.zip)

Скачать

Добавить в корзину

Занесено в корзину

    Скачано: 1         Коментариев: 0

Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

СИНЕРГИЯ Нечеткая логика и нейронные сети 2023 год Тест 70 баллов 2023 год
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет 1
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант № 14
Онлайн Тест 1 по дисциплине: Математическая логика и теория алгоритмов.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №9
Зачетная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №21
Ещё искать по базе с такими же ключевыми словами.