Professional Documents
Culture Documents
09 Normalformak
09 Normalformak
• De Morgan azonosságok
• Disztributivitás azonosságai
Mi legyen a kvantorokkal? – Prenex normálforma
2. Kvantorkiemelés:
ahol , és
KNF/DNF-re hozás algoritmusa
1. Prenexizálás =>
2. Skolemizálás =>
3. Az KNF/DNF-re hozása
ahol új függvény.
Feladatmegoldás…
KNF = Klóz normálforma
Definíció (Literál):
A literál egy atom vagy annak negáltja.
Definíció (Elemi diszjunkció, klóz):
Klóznak nevezünk egy
1. Prenexizálás =>
2. Skolemizálás =>
3. Az KNF-re hozása
4. Klózokra bontás