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

Formeleingabe (Hinweise zur Eingabe 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

  still geschwätzig sehr geschwätzig

Valid XHTML 1.0