Aufgabe:
Der Junktor „∣“ (Sheffer Strich) ist definiert durch
A ∣ B ∶= A → ¬B.
Wandel die unten stehenden aussagenlogische Formeln mit Hilfe der Umformungsregeln in eine äquivalente Formel um, die anstelle der Junktoren
„¬“, „∧“ und „∨“ nur den Sheffer Strich beinhaltet.
d) γ = (β_1 ∨ β_2)
Problem/Ansatz:
Von a) bis c) habe ich es hinbekommen. Bei der Aufgabe komme ich jefoch nicht weiter.
Kann mir jemand die Aufgabe erklärend lösen, indem man die Zwischenschritte mit der jeweiligen Umformungsregel angibt?
Lieben Dank
