¬ x (x ∧ y) (x ∨ y) (x → y) (x ↔ y)
Über

Formeleingabe (Hinweise zur Eingabe anschalten)

  still geschwätzig sehr geschwätzig

Eingabe entspricht der Formel

(x→y)

Ergebnis Syntaxcheck

(R2) Junktor → gefunden.
Rekursiver Abstieg mit: x und y
(A3) Atomare Formel (Aussagenlogische Variable) gefunden: x
(A3) Atomare Formel (Aussagenlogische Variable) gefunden: y
Syntaktisch korrekte aussagenlogische Formel!

Liste der aussagenlogischen Variablen in der Formel

2 aussagenlogische Variable(n) gefunden, und zwar :
x, y.

Weitere Funktionen aufrufen

Auswerten der Formel für vorgegebene Belegung der Variablen
  still geschwätzig sehr geschwätzig
Syntaxbaum zeichnen
Wahrheitstafel
kompakt mit Teilformeln
Liste der erfüllenden Belegungen
DNF (erzeugt aus erfüllenden Belegungen)
keine Minimierung Minimierung (Primimplikantenverfahren nach Quine & McCluscey) Minimierung (geschwätzig)
(Minimierung ist nicht Inhalt der Vorlesung "Diskrete Modellierung")

Valid XHTML 1.0