Создан заказ №4057187
25 мая 2019
Перевести высказывания естественного языка на язык исчисления высказываний Мать требовала
Как заказчик описал требования к работе:
Не нашёл предмета в разделе, обращаюсь суда. Нужно решить задачки по Мат.логике последнее задание 7 нужно написать в программе пролог.
Фрагмент выполненной работы:
Перевести высказывания естественного языка на язык исчисления высказываний
Мать требовала, чтобы сын писал письма чаще и старался выполнять следующие условия:
1. Все короткие письма должны быть написаны на голубой бумаге фиолетовыми чернилами.
2. Ты можешь мне написать длинные письма черными чернилами, если воспользуешься голубой бумагой.
3. Если письмо не будет длинным, то пиши фиолетовыми чернилами.
Однако ни одно из этих условий не было выполнено. (работа была выполнена специалистами author24.ru) Какие письма хотела получать мать и какие письма писал сын?
Решение:
Введем простые высказывания:
A - письма короткие
B - письма написаны на голубой бумаге
C - письма написаны фиолетовыми чернилами.
D - письма-частые
Мать хотела получать письма, удовлетворяющие одновременно 4 условиям:
1.А→В∧С
2.В→¬А∧¬С
3.A→C
4.D
Составим конъюнкцию и упростим:
( A → B C ) ( B → A C ) ( A → C ) D
( A ∨ B C ) ( B → A C ) ( A → C ) D
( A ∨ B C ) ( B ∨ A C ) ( A → C ) D
( A B ∨ A A C ∨ B C B ∨ B C A C ) ( A → C ) D
( A B ∨ A C ∨ B C B ∨ B C A C ) ( A → C ) D
( A B ∨ A C ∨ 0 C ∨ B C A C ) ( A → C ) D
( A B ∨ A C ∨ 0 ∨ B C A C ) ( A → C ) D
( A B ∨ A C ∨ B C A C ) ( A → C ) D
( A B ∨ A C ∨ B 0 A ) ( A → C ) D
( A B ∨ A C ∨ 0 A ) ( A → C ) D
( A B ∨ A C ∨ 0 ) ( A → C ) D
( A B ∨ A C ) ( A → C ) D
( A B ∨ A C ) ( A ∨ C ) D
( A B A ∨ A B C ∨ A C A ∨ A C C ) D
( A B ∨ A B C ∨ A C A ∨ A C C ) D
( A B ∨ A C A ∨ A C C ) D
( A B ∨ A C ∨ A C C ) D
( A B ∨ A C ∨ A 0 ) D
( A B ∨ A C ∨ 0 ) D
( A B ∨ A C ) D
A B D ∨ A C D
Таким образом, мать хотела получать письма часто, длинные, при этом написанные не на голубой бумаге или черными чернилами
( A → B C ) ( B → A C ) ( A → C ) D
A ∨ B C ( B → A C ) ( A → C ) D
( A B C ) ( B → A C ) ( A → C ) D
( A B C ) ( B → A C ) ( A → C ) D
( A ( B ∨ C ) ) ( B → A C ) ( A → C ) D
( A B ∨ A C ) ( B → A C ) ( A → C ) D
( A B ∨ A C ) B ∨ A C ( A → C ) D
( A B ∨ A C ) ( B A C ) ( A → C ) D
( A B ∨ A C ) ( B A C ) ( A → C ) D
( A B ∨ A C ) ( B ( A ∨ C ) ) ( A → C ) D
( A B ∨ A C ) ( B ( A ∨ C ) ) ( A → C ) D
( A B ∨ A C ) ( B..Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
26 мая 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Перевести высказывания естественного языка на язык исчисления высказываний
Мать требовала.jpg
2021-02-09 11:56
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Выполнила отлично, все недочеты сразу исправила, решила 6 задач по логике за 40 минут, а это очень профессионально! Молодец!
Хочешь такую же работу?
300 ₽
