Aufgabe:
Führen Sie folgende syntaktische Substitution Boolescher Terme unter schrittweiser Anwen-dung der induktiven Definition durch:((¬(X∨Z))∧(Y ∨ Z))[Z→T]
Ich komme bei dieser Aufgabe leider nicht weiter. Kann mir jemand helfen?
