Hi sayuri,
nach dem Satz von Cook und Levin ist das SAT-Problem NP-vollständig. Aus der Prämisse P=NP folgt dann, dass SAT in P liegt.
Die 2. Aussage behandelt das allgemeine Halteproblem, das nicht entscheidbar ist. Also kann es auch nicht in Polynomzeit auf einer DTM berechnet werden.
Student, Punkte: 40