Pembuktian bahwa ¬
ϕ
∨
¬
ψ


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


(

ϕ
∧
ψ

)



{\displaystyle \neg \!\left(\phi \land \psi \right)} menggunakan tabel kebenaran . [5]