Equivalent
- (p ∨ q) B (q ∧ (p ∨ q))
- ¬ (¬ q S (¬ p ∧ ¬ q))
- p B q
- (p B q) B q
- p B p B q
- p S q ∨ H p
- q ∨ p ∧ Z (p B q)
Complement
Classification
| Temporal Hierarchy |
|---|
| SafeGuarantee |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Yes |
| ID: 2587 |
|
| Author: GOAL | |
| St: 3 | |
| Tr: 12 | |
|
Acceptance Condition: 0: {s0, s1}, 1: {s2} |
|