Grouped By
![]() |
¬ G (p → ¬ p U q) | Equivalent: ¬ G (p → ¬ p U q) |
Complement: | ||
DBW | ||
![]() |
G (p ∨ F q) | Equivalent: G (p ∨ F q) |
Complement: | ||
DBW | ||
![]() |
G p U ¬ p | Equivalent: G p U ¬ p |
Complement: | ||
NBW | ||
![]() |
G (p ∨ ¬ O q) | Equivalent: G (p ∨ ¬ O q) |
Complement: | ||
NBW | ||
![]() |
G (a ∨ ¬ X b) | Equivalent: G (a ∨ ¬ X b) |
Complement: | ||
NBW | ||
![]() |
G F (p → q) | Equivalent: G F (p → q) |
Complement: | ||
DBW | ||
![]() |
G (p ∧ F q) | Equivalent: G (p ∧ F q) |
Complement: | ||
NBW | ||
![]() |
G ¬ p ∧ F q | Equivalent: G ¬ p ∧ F q |
Complement: | ||
NBW | ||
![]() |
G F (¬ p ∧ ¬ q) | Equivalent: G F (¬ p ∧ ¬ q) |
Complement: | ||
DBW | ||
![]() |
G F (¬ p ∨ q) | Equivalent: G F (¬ p ∨ q) |
Complement: | ||
DBW | ||
![]() |
G ¬ p ∧ F ¬ q | Equivalent: G ¬ p ∧ F ¬ q |
Complement: | ||
NBW | ||
![]() |
G (¬ p ∧ F ¬ q) | Equivalent: G (¬ p ∧ F ¬ q) |
Complement: | ||
NBW | ||
![]() |
G F (p ∧ q) | Equivalent: G F (p ∧ q) |
Complement: | ||
DBW | ||
![]() |
G (¬ p → F ¬ q) | Equivalent: G (¬ p → F ¬ q) |
Complement: | ||
DBW | ||
![]() |
G (¬ p → X q) | Equivalent: G (¬ p → X q) |
Complement: | ||
NBW |