Daftar Isi:
- Definisi - Apa maksud Disjunctive Normal Form (DNF)?
- Techopedia menjelaskan Disjunctive Normal Form (DNF)
Definisi - Apa maksud Disjunctive Normal Form (DNF)?
Disjunctive normal form (DNF) adalah normalisasi rumus logis dalam matematika Boolean. Dengan kata lain, rumus logis dikatakan dalam bentuk normal disjungtif jika merupakan disjungsi dari konjungsi dengan setiap variabel dan negasinya hadir satu kali di setiap konjungsi. Semua bentuk normal disjungtif adalah non-unik, karena semua bentuk normal disjungtif untuk proposisi yang sama adalah setara satu sama lain.
Bentuk normal disjungtif banyak digunakan di bidang-bidang seperti pembuktian teorema otomatis.
Techopedia menjelaskan Disjunctive Normal Form (DNF)
Rumus logis dalam bentuk normal disjungtif jika dan hanya jika ada adanya pergantian satu atau lebih konjungsi dari satu atau lebih literal. Rumus dianggap sebagai dalam bentuk normal disjungtif penuh jika semua variabel yang terlibat diwakili hanya sekali dalam setiap klausa. Mirip dengan bentuk normal konjungtif, operator proposisional dalam bentuk normal disjungtif adalah sama: AND, OR dan NOT.
Semua rumus logis dapat dikonversi menjadi bentuk normal disjungtif yang setara. Namun, dalam beberapa kasus, ledakan eksponensial dari fungsi logis dimungkinkan karena konversi ke bentuk normal disjungtif. Poin penting lainnya adalah bahwa setiap fungsi Boolean yang unik dapat diwakili oleh hanya satu dan bentuk normal disjungtif penuh yang unik. Dengan bantuan teknik seperti metode tabel kebenaran, pohon kebenaran atau tabel kesetaraan logis, bentuk normal disjungtif untuk formula logis dapat dihasilkan. K-DNF, variasi bentuk normal disjungtif, banyak digunakan dan populer dalam studi kompleksitas komputasi.
