Une table de vérité est une table mathématique utilisée en logique et peut être utilisée pour voir si une proposition logique est vraie pour n'importe quelle valeur d'entrée. Les tables de vérité sont principalement utilisées en relation avec l'algèbre booléenne, les fonctions booléennes et le calcul propositionnel. Une table de vérité a une colonne pour chaque variable d'entrée, par ex. A et B et une ligne pour chaque combinaison possible des variables d'entrée vraies et fausses. D'autres colonnes sont ensuite ajoutées pour chaque opérateur logique telles que « Et », « Ou » et « XOR » et les résultats de ces opérateurs pour chaque combinaison d'entrées.
Technipages explique la table de vérité
Le philosophe autrichien Ludwig Wittgenstein est généralement crédité d'avoir inventé et popularisé la table de vérité dans un livre publié en 1921, bien qu'un autre philosophe Charles Sanders Peirce ait depuis été découvert pour les avoir inventés en 1893 dans un manuscrit qui n'a jamais été publié.
Il y a 16 opérations possibles qui peuvent être effectuées sur deux variables vraies ou fausses. Ces opérations sont: Contradiction – c'est toujours faux; NOR logique – uniquement vrai lorsque ni A ni B ne sont vrais; Non-implication inverse - est vrai où B est vrai et A est faux; Négation – n'est vraie que lorsque A est fausse, quelle que soit la valeur de B; Non-implication matérielle – est vraie lorsque A l'est et B ne l'est pas; Négation – Disjonction exclusive; NAND logique; Conjonction logique; Biconditionnel logique; Fonction de projection; Implication matérielle; Fonction de projection; Implication inverse; Disjonction logique et tautologie.
Chacun d'eux a ses propres usages et objectifs bien sûr, mais ils ont une chose en commun: ils sont exécutés avec l'utilisation d'une ou deux variables vrai/faux. En raison de la nature simple (sinon facile à comprendre) de ces variables et opérations, il est possible de décomposer les opérations compliquées en un petit ensemble d'éléments - valeurs vrai/faux et ce qui précède opérations.
Utilisations courantes de la table de vérité
- Une table de vérité est une table mathématique utilisée en logique.
- Chaque ligne de la table de vérité contient une configuration possible des variables d'entrée.
- Les tables de vérité peuvent être utilisées pour prouver des équivalences logiques.
Détournements courants de la table de vérité
- Les tables de vérité vérifient si les données d'une table ou d'une base de données sont correctes.