Equivalent
- ¬ (G F p → G F q)
- ¬ (G F q ∨ F G ¬ p)
- F (G F p ∧ G ¬ q)
- F G ¬ q ∧ G F p
- ¬ G (G F p → F q)
- G F p ∧ F G ¬ q
Complement
Classification
| Temporal Hierarchy |
|---|
| Reactivity |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Yes |
| ID: 1761 |
|
| Author: GOAL | |
| St: 4 | |
| Tr: 15 | |
|
Acceptance Condition: 0: {s1}, 1: {s0, s2, s3} |
|