Aussagenlogik/Tautologie/Entscheidungsverfahren/Aufgabe

Aus Wikiversity
Entwickle ein Entscheidungsverfahren für aussagenlogische Tautologien.