### 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 |