Resolutionskalkül Aussagenlogik

07.04.2016, 16:08	Alex1762	Auf diesen Beitrag antworten »
Resolutionskalkül Aussagenlogik Meine Frage: $\begin{eqnarray} (\neg Z \vee X ) \wedge (\neg X \vee Y ) \wedge (\neg Y \vee V ) \wedge (\neg V \vee \neg X ) \wedge (Y \vee X ) \wedge (\neg V \vee Z ) \end{eqnarray}$ Meine Ideen: Hallo zusammen! Ich will nachprüfen, ob die obige Aussagenmenge erfüllbar ist und zwar per Resolutionskalkül: Nach dem 1. Schritt habe ich da stehen $\begin{eqnarray} (\neg Z \vee Y ) \wedge (\neg Y \vee \neg X ) \wedge (Y \vee X ) \wedge (\neg V \vee Z \end{eqnarray}$ Nach dem 2. Schritt: $\begin{eqnarray} (\neg Z \vee \neg X ) \wedge (Y \vee X ) \wedge (\neg V \vee Z \end{eqnarray}$ Dann: $\begin{eqnarray} (\neg Z \vee Y ) \wedge (\neg V \vee Z \end{eqnarray}$ Ich komme dann am Ende auf $\begin{eqnarray} (Y \vee \neg V ) \end{eqnarray}$ . Kann das jemand bestätigen? Und wenn mein Ergebnis stimmt, dann ist die Formel erfüllbar, richtig? Kennt jemand eine Seite, wo man sowas online überprüfen lassen kann? Oder weiß jemand, wie man das in SAGE hinbekommt? Danke sehr!! Zwei Beiträge zusammengefasst. Steffen

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »