Hukum De Morgan
caption: Hukum De Morgan yang digambarkan melalui diagram Venn . Pada setiap kasus, hasil operasi himpunannya adalah himpunan titik-titik yang berwarna biru
caption: Pembuktian bahwa ¬
ϕ
∨
¬
ψ


{\displaystyle \neg \phi \lor \neg \psi } ekuivalen dengan ¬


(

ϕ
∧
ψ

)



{\displaystyle \neg \!\left(\phi \land \psi \right)} menggunakan tabel kebenaran . [5]
caption: Hukum De Morgan dengan operasi selisih himpunan.