¬ x (x ∧ y) (x ↔ y) {A,¬B} {{A,¬B},{A,B}}
roadmap about config

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

Anregungen sind willkommen* (email to):

andre dot frochaux at informatik dot hu-berlin dot de

In allen Teilen

Aussagenlogik