Einführung in die Logik - Institut für Theoretische Informatik
Einführung in die Logik - Institut für Theoretische Informatik
Einführung in die Logik - Institut für Theoretische Informatik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
(c) [4 punkte] KNF<br />
Aufgabe 19 [8 PUNKTE]<br />
Stellen sie <strong>die</strong> Ergebnisse der Sätze 3.1–3.4 im Skript <strong>in</strong> Baum-Notation dar.<br />
Abgabe bis Dienstag/Mittwoch, 2014-05-20/21, <strong>in</strong> Ihrer Übungsgruppe