Equivalent
- ¬ (True S p)
- ¬ (p B False)
- O ¬ p
- ¬ O p
- ¬ H p
- True S (¬ p ∧ True)
- H ¬ p
- ¬ p B (False ∧ ¬ p)
- ¬ (p ∧ Z H p)
- O O ¬ p
- ¬ (p ∨ Y O p)
- F (¬ p B (False ∧ ¬ p))
- ¬ O O p
- F H ¬ p
- ¬ F (p B False)
- ¬ F H p
- ¬ H H p
- ¬ G (True S p)
- H H ¬ p
- G (True S (¬ p ∧ True))
- ¬ G O p
- ¬ p ∧ Z H ¬ p
- ¬ p ∨ Y O ¬ p
- G O ¬ p
Complement
Classification
| Temporal Hierarchy |
|---|
| SafeGuarantee |
| Spec Patterns |
|---|
| Unknown |
| DBW-Recognizable |
|---|
| Yes |
| ID: 1798 |
|
| Author: GOAL | |
| St: 2 | |
| Tr: 3 | |
|
Acceptance Condition: 0: {s1}, 1: {s0} |
|