Equivalent

• False
• Y p
• Y ¬ p
• ¬ Z p
• ¬ Z ¬ p
• Y p ∧ Z False
• Z p ∧ Y True
• ¬ G (q → O p) ∧ p
• ¬ G (p → q U p)

Complement

• True
• ¬ Y p
• ¬ Y ¬ p
• Z p
• Z ¬ p
• ¬ (Y p ∧ Z False)
• F p → F p
• Y ¬ p ∨ Z False
• ¬ (Z p ∧ Y True)
• Z ¬ p ∨ Y True
• Z Z p
• G (p → F (q → p))
• G (p → q U p)