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