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: 757 |
|
| Author: GOAL | |
| St: 2 | |
| Tr: 7 | |
|
Acceptance Condition: { {s1} } |
|