Aufgabe:

Definition: Eine aussagenlogische Formel φ ist zu einer Horn-Klausel menge K äquivalent, falls für jede zu φ und K passende Belegung α gilt:

α |= φ ⇔ α |= K

Hinweise: ( |= ) ist Turnstile (symbol) 
https://en.wikipedia.org/wiki/Turnstile_(symbol)

a) Gegeben sei die Formel

φ = ((¬A∨F) → ((A∧C)∨(A∧¬D)))∧B∧(¬C ∨(D∧B))∧E∧(¬B∨E∨¬D)∧((A∧B) → F)

Geben Sie eine zu φ äquivalente Horn-Klausel menge K an.


b) Ist die in Teilaufgabe (a) angegebene Formel erfüllbar?
Wenden Sie den Streichalgorithmus an, um herauszufinden, ob die Formel erfüllbar ist. Geben Sie dabei für jeden Schritt _i die verwendete Tatsachenklausel und die Klausel menge K_i an.


c) Geben Sie eine Formel an, die zu keiner Hornformel äquivalent ist. Beweisen Sie, dass Ihre Antwort
korrekt ist.

Problem/Ansatz:

Hallo, wie löse ich am besten diese Aufgabe? Vielen Dank im Voraus.