Zum Inhalt springen

Aussagenlogik/Tautologie/Entscheidungsverfahren/Aufgabe

Aus Wikiversity

Entwickle ein Entscheidungsverfahren für aussagenlogische Tautologien.