Zeigen Sie, dass für jeden Booleschen Term t ∈ BT ein semantisch äquivalenter Term t`

Question

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.