Создан заказ №1365360
2 октября 2016
ПЕРЕВОД ВЫСКАЗЫВАНИЙ ЕСТЕСТВЕННОГО ЯЗЫКА НА ЯЗЫК АЛГЕБРЫ ЛОГИКИ
Как заказчик описал требования к работе:
Решить 2 задания:
5. Мать попросила сына купить цветы: либо гвоздики, либо розы; либо бордовые, либо красные; либо светлые, либо темные. Кроме того, должны быть выполнены следующие условия:
5.1. Чтобы цветок был красным или гвоздикой, доста-точно, чтобы он был темным.
5.2. Цветок может быть бордовым
, если он светлый
5.3. Цветок может быть розой, если только он светлый и красный.
8. При покупке дыни или арбуза были высказаны следу-ющие соображения:
8.1. Все большие плоды спелые.
8.2. Если ты купишь маленький плод, то это будет спелая дыня.
8.3. Дыню ты сможешь купить только при условии, что она будет спелой, хотя и маленькой. А мы хотим, чтобы ты
купил большой плод. Значит, надо купить спелый арбуз.
Эти соображения сводятся к двум простейшим условиям. Выполнить удалось лишь одно. Кроме того, купленный плод оказался спелым. Какой плод был куплен, и что хотели купить?
подробнее
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
3 октября 2016
Заказ завершен, заказчик получил финальный файл с работой
5
ПЕРЕВОД ВЫСКАЗЫВАНИЙ ЕСТЕСТВЕННОГО ЯЗЫКА НА ЯЗЫК АЛГЕБРЫ ЛОГИКИ.jpg
2016-10-06 20:22
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Спасибо Вам огромное за выполненную работу по мат. методам! Выручили и меня, и моих студентов! Надеюсь на дальнейшее сотрудничество!