Entrer une ou plusieurs formules séparées par une virgule.
| Connecteurs Logiques : | - NON | & ET | + OU | => implication | <=> équivalent à | F le faux |
Exemples :
| p | q | ( | p | & | ( | p | → | q | ) | ) | → | q | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| T | T | T | T | T | T | T | T | T | ||||||||
| T | F | T | F | T | F | F | T | F | ||||||||
| F | T | F | F | F | T | T | T | T | ||||||||
| F | F | F | F | F | T | F | T | F |
|
Symboles de vérité
V/F⊤/⊥ 1/0 Symboles des connecteurs logiques
¬,∧, ∨, ⇒, ⇔-, &, +, =>, <=> |
Type de Table:
Table Complète Table de la formule Format texte Format Latex |
Le code source est sur GitHub. ceci