Aufgabe:
Gegebene Formeln in semantisch äquivalente Formeln umformen mit dem Operator der negierten Implikation und der Konstanten 1.
Problem/Ansatz:
Ich habe den logischen Operator der negierten Implikation. Die Wahheitstafel dazu sieht wie folgt aus:
Nun habe ich folgende 3 Formeln gegeben:
1. ¬p1
2. p1 ∨ p2
3. p1 ∧ p2
Ich darf neben den Variablen und Klammern nur den Operator der negierten Implikation /→ verwenden und die Konstante 1.
Ich stehe leider total auf dem Schlauch und komme irgendwie nicht weiter wie ich Formeln semantisch äquivalent umformen kann.
Ich habe mir zu jeder Belegung der Konjunktionen/Disjunktionen eine große Wahrheitstabelle gemacht aber das bringt mich auch irgendwie nicht weiter und verwirrt mich leider viel zu sehr.
Gibt es eine Vorgehensweise wie ich das unkompliziert lösen kann?