Tables de vérité pour expressions logiques
Les énoncés dans la logique des propositions ne peuvent être que vrai ou faux.
Plusieurs déclarations peuvent être combinées avec des connecteurs logiques à de nouvelles instructions.
Pour montrer la vérité d'une chaîne de plusieurs déclarations de ce type, vous pouvez utiliser une table de vérité.
Toutes les combinaisons possibles de vrai / faux de chacun des états compilent et évaluent la véracité du lien.
Une telle table de vérité est créée ici. Les liens logiques sont représentés par les opérateurs de syntaxe C, Java et JavaScript.
La table utilise des variables logiques au lieu d'expressions spécifiques.
Les variables logiques utilisées dans les expressions peuvent avoir n'importe quel nom.
Opérateurs autorisés (priorité décroissante de l'opérateur dans cet ordre):
| ! | "Opérateur NON" | (négation) |
| == | "Opérateur Équivaut À" | (équivalence) |
| && | "Opérateur ET" | (conjonction) |
| || | "Opérateur OU" | (disjonction) |
En outre, vous pouvez utiliser des parenthèses.
Remarque: La priorité des opérateurs utilisés ici correspond aux langages de programmation mentionnés.
Pour dévier dans la logique des propositions, l'équivalence est prioritaire plus faible que la disjonction.
Pour évaluer plusieurs termes dans une table, vous devez spécifier les termes séparés par des points-virgules.
Exemple d'une expression logique avec quatre variables: a || b && !(c && !d)
Plus de logiciels en JavaScript