Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 432: | Строка 432: | ||
al-indigo: | al-indigo: | ||
<>A -> (!B U (C | A)) | <>A -> (!B U (C | A)) | ||
- | |||
- | Авварон: | ||
- | согласен | ||
- | малый фикс: | ||
- | <>A -> (!B U C U A) | ||
- | в этом варианте проще добавить неодновременность, если преподу припрет изменить условие. Да, и <>A зависит от прочтения, тоже можно опустить (не факт что оно будет) | ||
===Вариант 29=== | ===Вариант 29=== |