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