Syntaxe
|
relationship1 IMP relationship2
|
Paramètres
| Nom |
Description |
| relationship1 |
Ce paramètre représente la première expression logique à évaluer dans l'implication. Ce paramètre détermine si l'implication doit être automatiquement vraie (si elle est fausse) ou si le résultat dépend de la seconde relation. |
| relationship2 |
Ce paramètre représente la seconde expression logique à évaluer dans l'implication. Ce paramètre est uniquement pris en compte si la première relation est vraie?; dans ce cas, si cette seconde relation est également vraie, l'opérateur retourne vrai, sinon il retourne faux. |
Description
Cet opérateur permet de tester une implication.
Remarques
- L'opérateur IMP (Implication) est une version logique booléenne de la commande IF ... THEN du ABasiC.
Si la première relation est fausse, l'opérateur IMP renvoie un indicateur vrai quelle que soit la vérité de la deuxième relation. Si la première relation est vraie, la valeur dépend de la seconde
relation; l'opérateur IMP renvoie un indicateur vrai si la seconde relation est vraie et un indicateur faux si la seconde relation est fausse. Les indicateurs de vérité fonctionnent comme suit :
| A |
Opérateur |
B |
Résultat |
| Vrai |
IMP |
Vrai |
Retourne vrai |
| Vrai |
IMP |
Faux |
Retourne faux |
| Faux |
IMP |
Vrai |
Retourne vrai |
| Faux |
IMP |
Faux |
Retourne vrai |
- Vous n'utiliserez pas souvent l'opérateur IMP avec une commande IF ... THEN. Il apparaît plus souvent comme une technique de programmation avancée pour combiner logiquement le
contenu de deux emplacements mémoire.
Voir également
Mathématique - Algèbre de Boole - Table de vérité
Dernière mise à jour : Mardi, le 11 Août 2020
