Beweiser für Aussagenlogik

Ein lokaler Beweiser für Aussagenlogik: Formeln mit nicht, und, oder, wenn-dann und genau-dann, vollständige Wahrheitstafel, Entscheidung über Tautologie, Widerspruch und Erfüllbarkeit, Gegenbeispiel, Klauselform und Resolution.

Felder ausfüllen, Werkzeug starten und Ergebnis prüfen. Eingaben werden nicht veröffentlicht. Der Lernmodus zeigt Rechenschritte.