TeX source:
¬ ( p ∧ q ) ⊣⊢ ( ¬ p ∨ ¬ q )