Führen Sie folgende syntaktische Substitution Boolescher Terme unter schrittweiser Anwendung der induktiven Definition durch:
( ( X ∧ Z ) ∨ ( ¬ ( Y ∨ Z ) ) ) [ Z → T]
