BuK/IIm10/BuK-Übung07 G1

Wiki-Quelltext dieser Seite.

= Wort-spezifische TM =
== Aufgabenstellung ==
== Lösung ==

= Wahrheitswertetafelmethode für aussagenlogische Äquivalenzen =
== Aufgabenstellung ==
== Lösung ==

= Reduktion =
== Aufgabenstellung ==
== Lösung ==