Equivalent
- (p ∨ ¬ q) U (¬ q ∧ (p ∨ ¬ q))
- ¬ (q W (¬ p ∧ q))
- p U ¬ q
- F (Z H p ∧ ¬ q)
- ¬ G (Z H p → q)
- F (Z H p ∧ O ¬ q)
- ¬ G (Z H p → H q)
Complement
Classification
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 1090 | |
Author: GOAL | |
St: 2 | |
Tr: 7 | |
Acceptance Condition: { (∅, {s1}) } |
|