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