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?
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
