### Grouped By

X p ∧ G q | Equivalent: X p ∧ G q | |

Complement: | ||

NBW | ||

p U X q | Equivalent: p U X q | |

Complement: | ||

NBW | ||

¬ G (p → X q) | Equivalent: ¬ G (p → X q) | |

Complement: | ||

NBW | ||

F p R Fq | Equivalent: F p R Fq | |

Complement: | ||

NBW | ||

F p → G q | Equivalent: F p → G q | |

Complement: | ||

NBW | ||

F (p R q) | Equivalent: F (p R q) | |

Complement: | ||

NBW | ||

F (p ∨ G q) | Equivalent: F (p ∨ G q) | |

Complement: | ||

NBW | ||

G F ¬ p ∧ ¬ q | Equivalent: G F ¬ p ∧ ¬ q | |

Complement: | ||

NBW | ||

¬ p ∧ G F ¬ p | Equivalent: ¬ p ∧ G F ¬ p | |

Complement: | ||

NBW | ||

G F ¬ p ∧ q | Equivalent: G F ¬ p ∧ q | |

Complement: | ||

NBW | ||

G ¬ p W q | Equivalent: G ¬ p W q | |

Complement: | ||

NBW | ||

X p R q | Equivalent: X p R q | |

Complement: | ||

NBW | ||

X p U q | Equivalent: X p U q | |

Complement: | ||

NBW | ||

G p ∨ G q | Equivalent: G p ∨ G q • G q ∨ G p • G (H p ∨ H q) | |

Complement: ¬ (G p ∨ G q) • F ¬ p ∧ F ¬ q • F ¬ q ∧ F ¬ p • ¬ (G q ∨ G p) • F (O ¬ p ∧ O ¬ q) • ¬ G (H p ∨ H q) | ||

NBW | ||

G ¬ p ∨ G ¬ q | Equivalent: ¬ (F p ∧ F q) • G ¬ p ∨ G ¬ q | |

Complement: F p ∧ F q | ||

NBW |