Za pretvaranje logike prvog reda u CNF:
- Pretvori u normalni oblik negacije. Uklonite implikacije i ekvivalentnosti: više puta zamijenite s; zamijeniti s. …
- Standardiziraj varijable. …
- Skolemizirajte izjavu. …
- Odbaci sve univerzalne kvantifikatore.
- Distribuirajte OR prema unutra preko AND-ova: više puta zamijenite s.
Što je CNF formula?
Konjunktivni normalni oblik (CNF) je pristup Booleovoj logici koji izražava formule kao spojeve klauzula s AND ili OR. Svaka klauzula povezana veznikom, ili AND, mora biti ili doslovna ili sadržavati disjunkciju, ili operator OR. CNF je koristan za automatizirano dokazivanje teorema.
Možete li pretvoriti DNF u CNF?
Ako ste voljni uvesti dodatne varijable, možete pretvoriti iz DNF u CNF oblik u polinomskom vremenu koristeći Tseitinovu transformaciju. Rezultirajuća CNF formula bit će jednako zadovoljiva s izvornom DNF formulom: CNF formula će biti zadovoljiva ako i samo ako je izvorna DNF formula bila zadovoljiva.
Kako mogu dobiti CNF?
Jednostavno zapišite tablicu istine, koju je vrlo jednostavno pronaći, i zaključite svoj CNF i DNF. Ako želite pronaći DNF, morate pogledati sve retke koji završavaju s T. Kada pronađete te retke, uzmite vrijednosti x, y i z iz svakog odgovarajućeg stupca. Dakle, dobivate (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Kako pretvoriti disjunktiv unormalan oblik?
Za složeni prijedlog se kaže da je u disjunktivnom normalnom obliku, ili DNF, ako je disjunkcija veznika jednostavnih pojmova, i ako je, nadalje, svaki prijedlog varijabla se pojavljuje najviše jednom u svakoj konjunkciji, a svaka se konjukcija pojavljuje najviše jednom u disjunkciji.
