Grouped By
![]() |
¬ G (p → ¬ q U p) | Equivalent: ¬ G (p → ¬ q U p) |
Complement: | ||
NBW | ||
![]() |
G (p ∧ X ¬ p) | Equivalent: G (p ∧ X ¬ p) |
Complement: | ||
NBW | ||
![]() |
G (¬ p ∨ ¬ q) ∧ G (¬ p ∨ ¬ r) ∧ G (¬ q ∨ ¬ r) | Equivalent: G (¬ p ∨ ¬ q) ∧ G (¬ p ∨ ¬ r) ∧ G (¬ q ∨ ¬ r) |
Complement: ¬ (G (¬ p ∨ ¬ q) ∧ G (¬ p ∨ ¬ r) ∧ G (¬ q ∨ ¬ r)) | ||
NBW | ||
![]() |
Equivalent: | |
Complement: | ||
NBW | ||
![]() |
p ∧ q ∧ Fr | Equivalent: p ∧ q ∧ Fr |
Complement: | ||
NBW | ||
![]() |
F (p → Fq) | Equivalent: F (p → Fq) |
Complement: | ||
DBW | ||
![]() |
¬ G (¬ p → q) | Equivalent: ¬ G (¬ p → q) |
Complement: | ||
DBW | ||
![]() |
G p ∧ q | Equivalent: G p ∧ q |
Complement: | ||
NBW | ||
![]() |
G p ∧ ¬ q | Equivalent: G p ∧ ¬ q |
Complement: | ||
NBW | ||
![]() |
¬ p ∧ G q | Equivalent: ¬ p ∧ G q |
Complement: | ||
NBW | ||
![]() |
F (¬ p ∨ q) | Equivalent: F (¬ p ∨ q) |
Complement: | ||
DBW | ||
![]() |
G ¬ p ∧ ¬ q | Equivalent: G ¬ p ∧ ¬ q |
Complement: | ||
NBW | ||
![]() |
(p ∨ q) U (¬ q ∧ ¬ p) | Equivalent: (p ∨ q) U (¬ q ∧ ¬ p) |
Complement: | ||
DBW | ||
![]() |
¬ p W (p ∧ ¬ q) | Equivalent: ¬ p W (p ∧ ¬ q) |
Complement: | ||
NBW | ||
![]() |
(p ∧ q) U (p ∨ q) | Equivalent: (p ∧ q) U (p ∨ q) |
Complement: | ||
NBW |