Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 303: | Строка 303: | ||
После наступления события 'значение глобальной переменной state равно enter' верно: событие 'значение глобальной переменной x равно 3' наступает не менее одного раза | После наступления события 'значение глобальной переменной state равно enter' верно: событие 'значение глобальной переменной x равно 3' наступает не менее одного раза | ||
- | #define | + | #define q state==enter |
- | #define | + | #define p x==3 |
+ | [](!q) | <>(q & <>P)) | ||
- | + | al-indigo: | |
+ | ok? | ||
- | []( | + | Авварон: |
+ | #define A state==enter | ||
+ | #define B x==3 | ||
+ | [](A -> <>B) | ||
+ | я бы написал так, а то что сверху имхо будет если развернуть импликацию. Могу ошибаться в своем варианте | ||
=== Вариант 104 === | === Вариант 104 === |