Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
NF Komplexität (Abschätzung)<br />
• Eine komplexe Formel wird durch ein Zeichen ersetzt<br />
• Jedes Bikonditional wird durch eine KNF Formel aus 12 Zeichen ersetzt<br />
• Jedes Konditional, Disjunktion oder Konjunktion wird durch eine KNF Formel<br />
aus 7 Zeichen ersetzt<br />
• Jede Negation wird durch eine KNF Formel aus 4 Zeichen ersetzt<br />
31