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