Isi
- Definisi - Apa makna Konjungtif Bentuk Normal (CNF)?
- Pengantar Microsoft Azure dan Microsoft Cloud | Sepanjang panduan ini, Anda akan mempelajari tentang apa itu cloud computing dan bagaimana Microsoft Azure dapat membantu Anda untuk bermigrasi dan menjalankan bisnis Anda dari cloud.
- Techopedia menjelaskan Conjunctive Normal Form (CNF)
Definisi - Apa makna Konjungtif Bentuk Normal (CNF)?
Conjunctive normal form (CNF) adalah pendekatan untuk logika Boolean yang mengekspresikan rumus sebagai konjungsi dari klausa dengan AND atau OR. Setiap klausa yang dihubungkan oleh konjungsi, atau AND, harus berupa literal atau mengandung disjungsi, atau operator OR. CNF berguna untuk pembuktian teorema otomatis.
Pengantar Microsoft Azure dan Microsoft Cloud | Sepanjang panduan ini, Anda akan mempelajari tentang apa itu cloud computing dan bagaimana Microsoft Azure dapat membantu Anda untuk bermigrasi dan menjalankan bisnis Anda dari cloud.
Techopedia menjelaskan Conjunctive Normal Form (CNF)
Dalam bentuk normal konjungtif, pernyataan dalam logika Boolean adalah konjungsi dari klausa dengan klausa disjungsi. Dengan kata lain, pernyataan adalah serangkaian OR yang terhubung oleh AND.
Sebagai contoh:
(A ATAU B) DAN (C ATAU D)
(A ATAU B) DAN (BUKAN C ATAU B)
Klausa mungkin juga literal:
A ATAU B
A DAN B
Literal dilihat dalam CNF sebagai konjungsi klausa literal dan konjungsi yang kebetulan memiliki klausa tunggal. Dimungkinkan untuk mengubah pernyataan menjadi CNF yang ditulis dalam bentuk lain, seperti bentuk normal disjungtif.