Title: Informationsverdichtung von Modellen in der Aussagenlogik und das P=NP-Problem