Equivalent

• O p
• ¬ O ¬ p
• ¬ H ¬ p
• True S p
• H p
• p B False
• O O p
• F (p B False)
• F H p
• H H p
• G (True S p)
• G O p
• p ∧ Z H p
• p ∨ Y O p

Complement

• ¬ (True S p)
• ¬ (p B False)
• O ¬ p
• ¬ O p
• ¬ H p
• True S (¬ p ∧ True)
• H ¬ p
• ¬ p B (False ∧ ¬ p)
• ¬ (p ∧ Z H p)
• O O ¬ p
• ¬ (p ∨ Y O p)
• F (¬ p B (False ∧ ¬ p))
• ¬ O O p
• F H ¬ p
• ¬ F (p B False)
• ¬ F H p
• ¬ H H p
• ¬ G (True S p)
• H H ¬ p
• G (True S (¬ p ∧ True))
• ¬ G O p
• ¬ p ∧ Z H ¬ p
• ¬ p ∨ Y O ¬ p
• G O ¬ p