Ответы, понравившиеся пользователю Karkes — Хабр Q&A

Задать вопрос

Лайки

Как данное выражение будет выглядеть в темпоральной логике?

Rsa97 @Rsa97
Для правильного вопроса надо знать половину ответа

Строго два шага:
!p_i & p_{i + 1} => p_{i + 2} & !p_{i + 3}

Минимум два шага:
!p_i & p_{i + 1} => p_{i + 2}

Ответ написан более трёх лет назад

Комментировать

Комментировать

Самые активные сегодня

Drno
- 5 ответов
- 0 вопросов
veerend
- 1 ответ
- 1 вопрос
eddilou
- 2 ответа
- 0 вопросов
sergski
- 2 ответа
- 0 вопросов
Кирилл
- 1 ответ
- 1 вопрос
Dieman666
- 2 ответа
- 0 вопросов