Za pretvaranje logike prvog reda u CNF:
- Pretvori u normalni oblik negacije. Uklonite implikacije i ekvivalentnosti: više puta zamijenite sa; zamijeni sa. …
- Standardizuj varijable. …
- Skolemizirajte izjavu. …
- Odbacite sve univerzalne kvantifikatore.
- Distribuirajte OR prema unutra preko AND: više puta zamijenite sa.
Šta je CNF formula?
Konjunktivni normalni oblik (CNF) je pristup Booleovoj logici koji izražava formule kao veznike klauzula sa AND ili OR. Svaka klauzula povezana veznikom, ili AND, mora biti ili literalna ili sadržavati disjunkciju, ili operator OR. CNF je koristan za automatizirano dokazivanje teorema.
Možete li pretvoriti DNF u CNF?
Ako ste voljni da uvedete dodatne varijable, možete konvertovati iz DNF u CNF formu u polinomskom vremenu koristeći Tseitin transformaciju. Rezultirajuća CNF formula će biti jednakozadovoljiva sa originalnom DNF formulom: CNF formula će biti zadovoljiva ako i samo ako je originalna DNF formula bila zadovoljiva.
Kako mogu dobiti CNF?
Jednostavno zapišite tabelu istinitosti, koju je prilično jednostavno pronaći, i zaključite svoj CNF i DNF. Ako želite pronaći DNF, morate pogledati sve redove koji se završavaju sa T. Kada pronađete te redove, uzmite vrijednosti x, y i z iz svake odgovarajuće kolone. Dakle, dobijate (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 konjukciji i svaka konjunkcija se javlja najviše jednom u disjunkciji.