Aussagenlogik/Tautologie/Entscheidungsverfahren/Aufgabe

Entwickle ein Entscheidungsverfahren für aussagenlogische Tautologien.