Mathematik vs. Brute Force

Lösung mit geballter Kraft (und dem Werkzeug "Scheme"):

Lösung mit Geist:

Mh solange wir in Logik auch noch in so elementaren Gefilden herum dümpeln, würde es sich auch anbieten eine Scheme-Prozedur zu erstellen, welche eine Wahrheitstabelle für gegebene Aussageformel produziert bzw. dann auch "(define (tautologie? formel) (= (length (filter (lambda (x) (= x 0)) (werte-aus formel))) 0))" ...