Grouped By
G F p ∨ F G q | Equivalent: G F p ∨ F G q | |
Complement: ¬ (G F p ∨ F G q) • F G ¬ p ∧ G F ¬ q | ||
NBW | ||
p → G (p ∧ q) | Equivalent: p → G (p ∧ q) | |
Complement: | ||
NBW | ||
p → F (p ∧ q) | Equivalent: p → F (p ∧ q) | |
Complement: | ||
DBW | ||
p → X q | Equivalent: p → X q | |
Complement: | ||
NBW | ||
X p → Gq | Equivalent: X p → Gq | |
Complement: | ||
NBW | ||
G ¬ p ∨ Fq | Equivalent: G ¬ p ∨ Fq | |
Complement: | ||
NBW | ||
G p → q | Equivalent: G p → q | |
Complement: | ||
DBW | ||
G ¬ p → ¬ q | Equivalent: G ¬ p → ¬ q | |
Complement: | ||
DBW | ||
a ∧ X b | Equivalent: a ∧ X b | |
Complement: | ||
NBW | ||
X X → p | Equivalent: X X → p | |
Complement: | ||
NBW | ||
G p → q ∨ r | Equivalent: G p → q ∨ r | |
Complement: | ||
DBW | ||
G (p ∧ q) → r | Equivalent: G (p ∧ q) → r | |
Complement: | ||
DBW | ||
G p ∨ q ∧ r | Equivalent: G p ∨ q ∧ r | |
Complement: | ||
NBW | ||
G p ∨ q ∧ ¬ r | Equivalent: G p ∨ q ∧ ¬ r | |
Complement: | ||
NBW | ||
a U b ∧ ¬ p | Equivalent: a U b ∧ ¬ p | |
Complement: | ||
NBW |