¬ x (x ∧ y) (x ↔ y) {A,¬B} {{A,¬B},{A,B}}
feuille de route sur config

Hier eine kleine Übersicht der Funktionen, die mir noch vorschweben, in willkürlicher Reihenfolge...

Anregungen sind willkommen* (émail à):

andre dot frochaux at informatik dot hu-berlin dot de

In allen Teilen

Aussagenlogik