Aufgabe:
Zeigen Sie, dass für jeden Booleschen Term t ∈ BT ein semantisch äquivalenter Term t`existiert, der weder T noch F enthält. Führen Sie den Beweis durch strukturelle Induktion über den Aufbau von t.
