Search
Browse
Shopping Cart
Upload
Settings
Help
Previous Version
Equivalent
¬ ((p ∨ Y q) U r)
¬ (p ∨ Y q) R ¬ r
¬ r W (¬ p ∧ Z ¬ q ∧ ¬ r)
Complement
(p ∨ Y q) U r
Classification
Temporal Hierarchy
Safety
Spec Patterns
Unknown
DBW-Recognizable
Yes
ID: 1910
Author: GOAL
St: 4
Tr: 21
Acceptance Condition:
0: {s0, s1, s2, s3}