Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Ein Kriterium für Reduziertheit:<br />
Beweis: s. Schmitt (2008), S. 41.<br />
Eindeutigkeitssatz für reduzierte Shannon-<br />
Graphen:<br />
Beweis: s. Schmitt (2008), S. 41ff.<br />
Wie die "einfache" KNN kann auch der Shannon-Graph in<br />
ungünstigen Fällen "groß" werden:<br />
22