Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 342: | Строка 342: | ||
Пропущено, что d и e не совпадают: | Пропущено, что d и e не совпадают: | ||
[] ( (d & (<>e) & !e ) -> (!e U f) ) | [] ( (d & (<>e) & !e ) -> (!e U f) ) | ||
- | |||
- | Авварон: | ||
- | #define A (state==enter) | ||
- | #define B (state==leave) | ||
- | #define C p@unlock | ||
- | короткая: [](A -> (!B U C)) | ||
- | длинная: []( (A & !B & <>B) -> (!B U C) ) | ||
====Задача 3==== | ====Задача 3==== |