Teman-teman...

Mohon bantuannnya, apakah semua bentuk ekspresi logika bisa diubah ke bentuk DNF/CNF dengan menggunakan hukum-hukum logika? saya mempunyai ekspresi ~(A ^ B) <-> (~A v ~C) jika diubah ke DNF dan CNF dengan tabel kebenaran lancar jaya, tapi ketika mengubah ke bentuk DNF macet teman2... namun ke bentuk CNF nya saya sudah menemukan dan sudah sama seperti yang ditemukan pada tabel kebenaran.
Mohon teman2 bantuannya! Semoga ilmunya barokah amin...