Zeigen Sie, dass zu jeder aussagenlogischen Formel F eine äquivalente Formel existiert, welche nur die aussagenlogischen Konnektive ¬ und → enthält.
