Equivalent

• F p
• True U p
• ¬ G ¬ p
• O F p
• F (True S p)
• F O p
• F F p
• p ∨ X F p
• F G O p
• G (F p ∨ O p)
• G F O p

Complement

• ¬ (True U p)
• ¬ F p
• False R ¬ p
• ¬ p W (False ∧ ¬ p)
• G ¬ p
• ¬ (p ∨ X F p)
• ¬ O F p
• ¬ F (True S p)
• ¬ F O p
• ¬ F F p
• H G ¬ p
• ¬ p ∧ X G ¬ p
• G (¬ p B (False ∧ ¬ p))
• G H ¬ p
• G G ¬ p
• F (G ¬ p ∧ H ¬ p)
• F G H ¬ p
• ¬ F G O p
• ¬ G (F p ∨ O p)
• ¬ G F O p
• G F H ¬ p