¬ x (x ∧ y) (x ↔ y) {A,¬B} {{A,¬B},{A,B}}
Roadmap Über config

Eingabe

(Hinweise zur Eingabe an/ausschalten)
Formel zulässige Eingaben
¬ y ~ y (mittels Tilde)
  oder alternativ
!y oder &n y
( x ∧ y ) (x /\ y) (mittels Slash und Backslash)
  oder alternativ
(x && y) oder (x &w y )
( x ∨ y ) (x \/ y) (mittels Backslash und Slash)
  oder alternativ
(x || y) oder (x &v y )
( x → y ) (x -> y)
  oder alternativ
(x &r y )
( x ↔ y ) (x <-> y)
  oder alternativ
(x &l y )
1 1
  oder alternativ
&1
0 0
  oder alternativ
&0

Ihre Eingabe

Definiere Formel φ entsprechend der Eingabe

φ = (x→y)

Ergebnis Syntaxcheck für Formel φ

Syntaxcheck stillgeschwätzigsehr geschwätzig

Syntaktisch korrekte aussagenlogische Formel!

Liste der aussagenlogischen Variablen in der Formel φ

2 aussagenlogische Variable(n) gefunden, und zwar :

x, y.

Test auf Normalformen (NNF, DNF, KNF)

Formel ist nicht in Negationsnormalform.
Und deshalb auch nicht in disjuntiver oder konjunktiver Normalform.

Weitere Funktionen aufrufen

Auswerten der Formel φ unter vorgegebener Interpretation
Syntaxbaum zeichnen
Wahrheitstafel
Liste der erfüllenden Interpretationen
Angabe der dualen Formel
Disjunktive Normalform (erzeugt aus erfüllenden Interpretationen)
Konjunktive Normalform (erzeugt aus nicht erfüllenden Interpretationen)
Negationsnormalform
Resolutionswiderlegung
Resolutionsalgorithmus
DPLL-Algorithmus
Hornklauseltest und ggf. Streichungsalgorithmus