Aussagenlogische Formel angeben

Question

Aufgabe:

a) A besteht den Test

b) B besteht den Test

c) C besteht Test

d) A ist müde

e) A lernt fleißig

f) Der Test ist schwierig

Angeben der aussagenlogische Formel:

1. C besteht, obwohl B nicht besteht

2. A besteht, außer wenn A müde ist ( dann besteht A nicht)

3. A besteht nur, wenn sie nicht müde ist

4. Weder A noch B bestehen

5. Zwei von drei bestehen

Problem/Ansatz:

Ich habe zwar zu den einzelnen Aufgaben Ideen, aber keine zielführende Lösung. Idee ist die Überprüfung mittels Wertetabelle. Könnt ihr helfen?

Answer 1

1. C besteht, obwohl B nicht besteht

        besteht(C) ∧ ¬besteht(B)
2. A besteht, außer wenn A müde ist ( dann besteht A nicht)

   besteht(A) ∧ ¬müde(A)

3. A besteht nur, wenn sie nicht müde ist = 2 

4. Weder A noch B bestehen   ¬(besteht(A) ∨ besteht(B))

5. Zwei von drei bestehen

(besteht(A) ∧besteht(B) ∧¬besteht(C))  ∨ (besteht(A) ∧¬besteht(B) ∧besteht(C))∨ (¬besteht(A) ∧besteht(B) ∧besteht(C))