0 Daumen
347 Aufrufe

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

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community