Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
komplexeres Beispiel: die beiden Teilgraphen unterhalb des<br />
Wurzelknotens sind isomorph:<br />
(somit Reduktion möglich auf<br />
und dann auf<br />
)<br />
21