BuK-Übung07 G1

Aus ProgrammingWiki
Archivierte Version vom 2011-05-19T13:32:12+00:00. Aktuelle Version

Inhaltsverzeichnis

Wort-spezifische TM

Aufgabenstellung

Lösung

Wahrheitswertetafelmethode für aussagenlogische Äquivalenzen

Aufgabenstellung

Lösung

Reduktion

Aufgabenstellung

Lösung