Aufgabe:
Zeigen Sie, dass für jeden Booleschen Term t ∈ BT ein semantisch äquivalenter Term \( t^1 \) existiert,
der weder T noch F enthält. Führen Sie den Beweis durch strukturelle Induktion über den Aufbau
von t.
Problem/Ansatz:
Hallo, wie löse ich am besten diese Aufgabe? Vielen Dank im voraus.
