Equivalent
- (¬ q ∧ ¬ r) U (¬ p ∧ ¬ q ∧ ¬ r)
- ¬ (p W (q ∨ r))
- ¬ (p W q ∨ p W r)
- ¬ q U (¬ p ∧ ¬ q) ∧ ¬ r U (¬ p ∧ ¬ r)
Complement
Classification
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
ID: 1917 | |
Author: GOAL | |
St: 6 | |
Tr: 40 | |
Acceptance Condition: 0: {s1, s4}, 1: {s0, s2, s3, s5} |
|