PEMBUKTIAN HUKUM DE MORGAN (a.b)' = a' +b'

(i) (ab)' = a' + b' (Hk. De Morgan)
(ii) aa' = 0 (Hk. Komplemen) --> (ab)(ab)' = 0 (komplemen)
Dari persamaan (i) dan (ii) didapat (ab)(a'+b") = 0

Bukti : (ab)(a'+b') = aba' + abb' (Distributif)
= 0.b + a.0 (Komplemen)
= 0 + 0 (Dominansi)
= 0

Jadi terbukti (a+b)' = a'b'

Untuk Hk. De Morgan yang lainnya, (a+b)' = a'b' gunakan dual dari jawaban diatas.
(Ubah + jadi - dan sebaliknya, 1 jadi 0 dan sebaliknya, biarkan tanda komplemen ['])