¬ x (x ∧ y) (x ↔ y) {A,¬B} {{A,¬B},{A,B}}
feuille de route sur config

Entrée

(conseils pour l'entrée)
Formel entrées valides
¬ y ~ y (tilde)
  ou bien
!y ou &n y
( x ∧ y ) (x /\ y) ( une barre oblique et une barre oblique inverse)
  ou bien
(x && y) ou (x &w y )
( x ∨ y ) (x \/ y) ( une barre oblique inverse et une barre oblique)
  ou bien
(x || y) ou (x &v y )
( x → y ) (x -> y)
  ou bien
(x &r y )
( x ↔ y ) (x <-> y)
  ou bien
(x &l y )
1 1
  ou bien
&1
0 0
  ou bien
&0

* traduction non disponible