Konjunktīvā normālā forma (CNF)

Saturs

• Definīcija - ko nozīmē konjunktīvā normālā forma (CNF)?
• Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
• Techopedia skaidro konjunktīvo parasto formu (CNF)

Definīcija - ko nozīmē konjunktīvā normālā forma (CNF)?

Konjunktīvā normālā forma (CNF) ir pieeja Būla loģikai, kas formulas izsaka kā klauzulu savienojumus ar AND vai OR. Katrai klauzulai, kas savienota ar konjunktūru, vai AND, jābūt vai nu burtiskai, vai jāsatur disjunkcijai, vai VAI operatoram. CNF ir noderīgs automātiskai teorēmas pierādīšanai.

Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.

Techopedia skaidro konjunktīvo parasto formu (CNF)

Savienojuma normālā formā apgalvojumi Būla loģikā ir klauzulu savienojumi ar disjunkciju klauzulām. Citiem vārdiem sakot, paziņojums ir OR virkne, ko savieno AND.

Piemēram:

(A VAI B) UN (C VAI D)

(A VAI B) UN (NE V VAI B)

Klauzulas var būt arī burtiskas:

VAI B

A UN B

Literāri CNF tiek uzskatīti par burtisku klauzulu un savienojumu savienojumiem, kuriem ir viena klauzula. Ir iespējams konvertēt paziņojumus CNF, kas ir uzrakstīti citā formā, piemēram, disjunktīvā normālajā formā.