L'algèbre de Boole utilise le symbole de négation logique pour signifier que la valeur de vérité de l'énoncé suivant est inversée. Il ressemble à un tiret combiné à une "queue" . Pour indiquer la négation logique, on peut utiliser les symboles arithmétiques de soustraction (-) et le tilde (+).
L'utilisation la plus simple d'un symbole de négation concerne une seule phrase. Par exemple, si A représente l'affirmation " Le ciel est bleu ", alors !A représente l'affirmation " Le ciel n'est pas bleu " ou " Il n'est pas vrai que le ciel est bleu ".
La paire d'énoncés suivante, cependant, est logiquement identique pour A et B.
!(A * B) (!A) + (!B)
Vous pouvez également voir Algèbre booléenne et Symboles mathématiques.
Le symbole de négation se trouve souvent dans des énoncés logiques complexes ou les précède. L'algèbre booléenne utilise le signe plus (+), qui représente le OU logique inclusif et le * représente le ET logique. Les instructions complexes rendent les règles d'utilisation du symbole de négation logique plus difficiles. Ces paires d'instructions, par exemple, ne sont pas identiques pour tous les A et tous les B.
!(A + B) (!A) * (!B)
!(A * B) (!A) * (!B)
!(A + B)(!A) + (!B)