⌐(p ∨ q) ↔ (⌐p ∧ ⌐q)