Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 387: | Строка 387: | ||
Авварон: | Авварон: | ||
+ | о5 же без X не решить (а то что оно сдано, препод не вкурил:)) | ||
#define A state == state_critical | #define A state == state_critical | ||
#define B x = 3 | #define B x = 3 | ||
- | [](B -> | + | [](B -> X (!B U A)) |
вроде так, проверьте) | вроде так, проверьте) | ||