Sorted by


Refresh


Filtered by

Automaton Type

Select / Deselect All














State Size

Select / Deselect All






Formula Length

Select / Deselect All






Temporal Hierarchy

Select / Deselect All








Spec Patterns

Select / Deselect All











Refresh


Grouped By


Refresh

F (p ∧ X (p ∧ X (p ∧ X (p ∧ X p)))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X q)))) Equivalent: F (p ∧ X (p ∧ X (p ∧ X (p ∧ X p)))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X q))))
Complement:
DBW
F (p1 ∧ F (p2 ∧ F (p3 ∧ F (p4 ∧ F p5)))) ∧ F (q1 ∧ F (q2 ∧ F (q3 ∧ F (q4 ∧ F q5)))) Equivalent: F (p1 ∧ F (p2 ∧ F (p3 ∧ F (p4 ∧ F p5)))) ∧ F (q1 ∧ F (q2 ∧ F (q3 ∧ F (q4 ∧ F q5))))
Complement:
DBW
F (p ∧ X (p ∧ X (p ∧ X (p ∧ X (p ∧ X p))))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X (q ∧ X q))))) Equivalent: F (p ∧ X (p ∧ X (p ∧ X (p ∧ X (p ∧ X p))))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X (q ∧ X q)))))
Complement:
DBW