Conventions de lecture des formules
| Priorité | Connecteurs | Enchaînement sans parenthèses |
|---|---|---|
| 1 (la plus forte) | ¬ | ¬¬p |
| 2 | ∧ ↑ | p ∧ q ∧ r admis (associatif) ; p ↑ q ↑ r refusé |
| 3 | ∨ ⊕ ↓ | p ∨ q ∨ r, p ⊕ q ⊕ r admis ; p ↓ q ↓ r refusé |
| 4 | → | p → q → r refusé (parenthèses obligatoires) |
| 5 (la plus faible) | ↔ | p ↔ q ↔ r admis (associatif) |
Ainsi ¬p ∧ q → r ∨ s se lit ((¬p) ∧ q) → (r ∨ s). Deux connecteurs différents de même priorité (par ex. p ∨ q ⊕ r) exigent des parenthèses : la page signale l'ambiguïté plutôt que de choisir à ta place.
Tu peux coller une formule écrite en LaTeX, par exemple $$F = (P \to Q) \to (\neg Q \to \neg P)$$ : les $, le nom donné à la formule (F =) et les commandes (\to, \neg, \land, \lor, \leftrightarrow, \oplus, \overline{…}, indices P_1…) sont convertis. Aussi acceptés : ⇒, ⊃, ⇔, ≡, ∼, ·.
Raccourcis clavier acceptés dans une formule : ~ ou ! pour ¬, & pour ∧, | pour ∨, -> pour →, <-> pour ↔, ^ pour ⊕, T/F majuscules pour ⊤/⊥. Ils sont convertis automatiquement.
La table a toujours au moins 4 lignes (avec une seule variable, elle suit le motif V V F F). Supprimer une colonne de variable ne modifie ni les autres colonnes ni le nombre de lignes ; changer le nombre de variables ou l'ordre régénère la table.
Ordre des lignes : I commence par la ligne toute V et finit par la ligne toute F ; II fait l'inverse ; 0 laisse les colonnes des variables vides pour que tu les remplisses toi-même (la vérification des formules se fait alors ligne par ligne à partir de tes valeurs, et le bilan signale les valuations manquantes ou répétées).
Dans les cases : cliquer fait tourner vide → V → F → vide. Au clavier : v, f, 1, 0, Suppr, et les flèches pour se déplacer.
Toutes les colonnes, variables comme formules, peuvent être déplacées librement avec ‹ › et mélangées (une variable peut être placée après une formule, et inversement) ; les valeurs suivent la colonne. Les colonnes de variables sont reconnaissables à leur fond légèrement teinté. « Reset » ramène les variables à gauche.
Icônes d'en-tête des formules : ‹ › déplacent la colonne ; l'éclair remplit automatiquement la colonne avec les valeurs calculées (inscrites comme tes réponses, donc modifiables et conservées) ; l'œil masque ou réaffiche ; la corbeille supprime.
« Masquer » grise une colonne et cache ses valeurs sans les effacer ; la colonne est alors ignorée par « Vérifier », « Afficher la solution » et « Copier la table » jusqu'à ce que tu cliques sur « Afficher ».
Après « Vérifier » : vert = correct, rouge barré = faux (la bonne valeur est indiquée à côté), jaune = case non remplie.