Permalink
Browse files

Meine Gedanken zu 6.5

  • Loading branch information...
1 parent c6d548b commit bf60f51a4c804997cd8f77ff6a85d82e1973b3c6 @svenstaro committed May 15, 2012
Showing with 15 additions and 1 deletion.
  1. +15 −1 fgi1/HW-2012-05-15.tex
View
@@ -147,7 +147,21 @@
\aufgabe{6.5}
-
+\begin{enumerate}[1.]
+ \item
+ % Begründet sich diese Aufgabe nicht durch die Definition?
+ % In 6.5.2 b) steht, dass TAUSCH() angewendet auf eine KNF eine DNF liefert.
+ % Verstehe ich die Aufgabe hier nicht oder ist es echt nur das Wiederholen
+ % der Definition ein paar Zeilen darüber? ~Sven
+
+ \item
+ % Wenn F bereits eine KNF ist und dann noch mal KNF() darauf angewendet wird
+ % und auf die ganze Suppe dann nochmal TAUSCH() angewendet wird, dann
+ % resultiert daraus doch keine DNF mehr, oder?
+ %
+ % Wenn diese Überlegung Dummsinn ist, wieso irrt sich Peter dann?
+ % Wir sehen an 6.5.2 b), dass TAUSCH(KNF) eine DNF ergibt.
+\end{enumerate}
\end{enumerate}
\end{document}

0 comments on commit bf60f51

Please sign in to comment.