Isi kandungan:
- Takrifan - Apakah bentuk Normal Disjunctive Normal (DNF)?
- Techopedia menerangkan Form Normal Disjunctive (DNF)
Takrifan - Apakah bentuk Normal Disjunctive Normal (DNF)?
Borang normal yang tidak menonjol (DNF) adalah normalisasi formula logik dalam matematik Boolean. Dalam erti kata lain, formula logik dikatakan berada dalam bentuk normal yang tidak jelas jika ia adalah satu perpecahan konjungsi dengan setiap pembolehubah dan penolakannya hadir sekali dalam setiap konjungsi. Semua bentuk normal yang tidak jelas adalah tidak unik, kerana semua bentuk biasa yang tidak jelas untuk cadangan yang sama adalah bersamaan.
Borang normal yang tidak diselaraskan digunakan secara meluas dalam bidang seperti membuktikan teorem automatik.
Techopedia menerangkan Form Normal Disjunctive (DNF)
Formula logik adalah dalam bentuk biasa yang tidak jelas jika dan hanya jika ada kewujudan penggantian satu atau lebih konjungsi satu atau lebih literals. Formula dianggap sebagai bentuk normal yang tidak lengkap jika semua pembolehubah yang terlibat diwakili hanya sekali dalam setiap fasal. Sama seperti bentuk biasa yang konjunctive, pengendali-pengendali cadangan dalam bentuk normal yang disjunctive adalah sama: DAN, ATAU TIDAK.
Semua formula logik boleh ditukar menjadi bentuk normal yang boleh disamakan. Walau bagaimanapun, dalam beberapa kes, letupan eksponen fungsi logik mungkin disebabkan oleh penukaran kepada bentuk normal yang tidak jelas. Satu lagi titik penting adalah bahawa apa-apa fungsi Boolean yang unik boleh diwakili oleh hanya satu dan bentuk normal biasa yang tidak jelas. Dengan bantuan teknik seperti kaedah jadual kebenaran, pokok kebenaran atau jadual kesamaan logik, bentuk normal yang tidak jelas untuk formula logik boleh dihasilkan. K-DNF, variasi bentuk normal yang tidak jelas, digunakan secara meluas dan popular dalam kajian kerumitan komputasi.
