Equivalent

• ¬ F ¬ p
• False R p
• G p
• p W False
• G (p B False)
• G G p
• p ∧ X G p
• F G H p
• G F H p

Complement

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