~ (p ∧ q) ≡ ~p ∨ ~q
Negasi dari "Saya dan Arya pekerja Bank"
Saya atau Arya bukan pekerja Bank.
~ (p ∨ q) ≡ ~p ∧ ~q
Negasi dari "Semua anak SD atau semua anak SMP belajar matematika".
Beberapa anak SD dan beberapa anak SMP tidak belajar matematika.
~ (p ⇒ q) ≡ p ∧ ~q
Negasi dari "Jika setiap anak mendapat uang jajan maka semua orang tua harus menyisihkan uang belanja".
Setiap anak mendapat uang jajan dan ada orang tua yang tidak harus menyisihkan uang belanja.
~ (p ⇔ q) ≡ (~p ∧ q) ∨ (p ∧ ~q)