Führen Sie folgende syntaktische Substitution Boolescher Terme unter schrittweiser Anwendung der induktiven Definition durch:
( ( X ∧ Z ) ∨ ( ¬ ( Y ∨ Z ) ) ) [ Z → T]
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
