Theoretische Informatik UE SS2022

Übungsblatt 1
Aufgabe 1:
In dieser Aufgabe betrachten wir Formeln über die atomaren Formeln V ar = {A, B, C, D}.
Beachten Sie in jedem Fall die formale Definition der Aussagenlogik aus der Vorlesung.

(a) Entscheiden Sie ob die folgenden Formeln syntaktisch korrekte aussagenlogische

Formeln sind und begründen Sie ihre Hypothese.
(i) ((A → (C ∨ ¬B)) ∨ ¬D)
(ii) ((B¬ ∧ B) ∨ ¬D ∧ A)
(iii) (∨BC → A → ¬D)
(iv) ((A → B) ∧ ¬(D ∧ C))
(b) Sind die folgenden Belegungen Modelle für die syntaktisch korrekten Formeln aus (a)?
X α(X) X β(X) X γ(X) X δ(X)
A 1 A 1 A 0 A 1
B 1 B 0 B 0 B 1
C 0 C 1 C 0 C 1
D 1 D 0 D 0 D 1

Aufgabe 2:

(i) Wie aus der Vorlesung bekannt ist die Menge {¬, ∧, ∨} funktional vollständig.
Drücken Sie mit Hilfe der drei Operatoren die nand- und ⊕-Operatoren aus und
zeigen Sie mit Hilfe von Wahrheitstafeln dass ihr Ausdruck tatsächlich äquivalent
zur ursprünglichen Operatoren ist.
(ii) Betrachten Sie die folgenden Mengen von Booleschen Funktionen und zeigen Sie
das diese funktional vollständig sind.
1. {nand} 1

2. {¬, ∨}
3. {¬, →}
Hinweis: Verwenden Sie die Resultate aus der Vorlesung bzw. aus früheren Punk-
ten der Aufgabe.

1
Dieser Fall ist von besonderer praktischer Relevanz, da nand-Operatoren einfach als Halbleiter-
Schaltkreis realisierbar sind.
Aufgabe 3:
Beweisen Sie mittels Wahrheitstafel, dass die folgenden Formeln semantisch äquivalent
sind:
(i) (p ∨ q) → r und (p → r) ∧ (q → r)
(ii) (p ∨ q) ∧ (p ∨ q ∨ ¬r) und (p ∨ q)

Aufgabe 4:
Formalisieren Sie die folgenden Sätze mittels Aussagenlogik:
(i) Heribert isst einen Apfel oder eine Birne, aber nicht beides.
(ii) Wenn es blitzt und donnert, dann bleibe ich zuhause.
(iii) Wenn es im Winter viel Schnee gibt, gehen viele Leute Skifahren und die Hotelbe-
sitzer sind zufrieden.
(iv) Verliere ich meine Autoschlüssel oder funktioniert mein Auto nicht, dann benütze
ich die U-Bahn oder die Straßenbahn.

Sind die Sätze Tautologien / erfüllbar? Geben Sie, falls existent, ein Modell an.

Aufgabe 5:
Ist die folgende Aussagenmenge widerspruchsfrei?
1 Wenn ich zu spät ins Wahllokal gehe, dann ist die Wahl bereits vorbei.
2 Ist die Wahl bereits vorbei, dann wähle ich nicht.
3 Ich gehe zu spät ins Wahllokal.
4 Ich wähle nicht.

Formalisieren Sie die Aussagen mittels Aussagenlogik und beweisen Sie Ihre Hypothese.

Aufgabe 6:
Formaliseren Sie folgende Sätze mittels Aussagenlogik und überprüfen Sie, ob der Schluss
von (1) und (2) und (3) und (4) auf (5) korrekt ist.

1. Wenn ich friere, ist es kalt oder ich habe nicht genug Gewand an.
2. Wenn ich friere und ich nicht genug Gewand anhabe, dann ist es nicht kalt.
3. Ich friere nicht oder es ist kalt.
4. Ich friere.
5. Ich habe nicht genug Gewand an.