Ce catalogue s'applique aux expressions combinant des opérateurs AND et OR. Pour rappel, voici comment établir des
exigences de text pour des expressions homogènes :
A1 && A2 && ... && An:
-
une idée de test avec tous les Ai true
-
N cas, chacun ayant exactement un terme false.
Exemple :
A && B && C
|
A
|
B
|
C
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
A1 || A2 || ... || An:
-
une idée de test avec tous les Ai false
-
N cas, chacun ayant exactement un terme true.
Exemple :
A || B || C
|
A
|
B
|
C
|
FALSE
|
FALSE
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
FALSE
|
FALSE
|
true
|
Deux opérateurs booléens
(A && B) || C
|
A
|
B
|
C
|
FALSE
|
true
|
true
|
true
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
A && (B || C)
|
A
|
B
|
C
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
FALSE
|
FALSE
|
true
|
A || (B && C)
|
A
|
B
|
C
|
true
|
true
|
FALSE
|
FALSE
|
true
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
(A || B) && C
|
A
|
B
|
C
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
Trois opérateurs booléens
Un And
Pour rechercher une expression, lisez les colonnes. Les AND passent de gauche à droite lors de la lecture.
(A && B) || C || D
|
|
((A || B) && C) || D
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
FALSE
|
true
|
true
|
FALSE
|
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
true
|
FALSE
|
FALSE
|
|
FALSE
|
true
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
FALSE
|
|
true
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
FALSE
|
|
FALSE
|
FALSE
|
true
|
true
|
true
|
FALSE
|
FALSE
|
true
|
|
FALSE
|
true
|
FALSE
|
FALSE
|
A && (B || C || D)
|
|
A || (B && (C || D))
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
true
|
FALSE
|
FALSE
|
FALSE
|
|
FALSE
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
|
FALSE
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
FALSE
|
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
true
|
|
true
|
true
|
FALSE
|
FALSE
|
FALSE
|
FALSE
|
FALSE
|
true
|
|
FALSE
|
FALSE
|
FALSE
|
true
|
A || (B && C) || D
|
|
A || B || (C && D)
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
true
|
true
|
FALSE
|
FALSE
|
|
FALSE
|
true
|
true
|
FALSE
|
FALSE
|
true
|
true
|
FALSE
|
|
FALSE
|
FALSE
|
FALSE
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
FALSE
|
|
FALSE
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
true
|
|
FALSE
|
FALSE
|
true
|
FALSE
|
(A||B) && (C || D)
|
|
(A || B || C) && D
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
FALSE
|
FALSE
|
FALSE
|
true
|
|
FALSE
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
true
|
|
FALSE
|
true
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
|
FALSE
|
FALSE
|
true
|
true
|
|
|
|
|
|
FALSE
|
FALSE
|
true
|
FALSE
|
Trois opérateurs booléens
Deux And
Pour rechercher une expression, lisez les colonnes. Les OR passent de droite à gauche lors de la lecture.
(A && B && C) || D
|
|
((A && B) || C) && D
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
true
|
true
|
true
|
FALSE
|
|
FALSE
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
FALSE
|
|
true
|
true
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
|
FALSE
|
true
|
FALSE
|
true
|
true
|
FALSE
|
true
|
true
|
|
true
|
FALSE
|
FALSE
|
true
|
true
|
true
|
FALSE
|
FALSE
|
|
true
|
FALSE
|
true
|
FALSE
|
A && B && (C || D)
|
|
A && (B || (C && D))
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
true
|
true
|
FALSE
|
true
|
|
true
|
true
|
true
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
FALSE
|
true
|
|
true
|
FALSE
|
FALSE
|
true
|
true
|
true
|
FALSE
|
FALSE
|
|
true
|
FALSE
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
|
FALSE
|
FALSE
|
true
|
true
|
A && (B || C) && D
|
|
(A || B) && C && D
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
true
|
FALSE
|
FALSE
|
true
|
|
FALSE
|
FALSE
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
|
FALSE
|
true
|
true
|
true
|
true
|
true
|
FALSE
|
true
|
|
true
|
FALSE
|
true
|
true
|
FALSE
|
FALSE
|
true
|
true
|
|
FALSE
|
true
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
|
FALSE
|
true
|
true
|
FALSE
|
(A && B) || (C && D)
|
|
A || (B && C && D)
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
FALSE
|
true
|
true
|
true
|
|
FALSE
|
true
|
true
|
true
|
true
|
true
|
true
|
FALSE
|
|
FALSE
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
true
|
|
FALSE
|
true
|
FALSE
|
true
|
true
|
FALSE
|
true
|
FALSE
|
|
true
|
true
|
true
|
FALSE
|
|
|
|
|
|
FALSE
|
true
|
true
|
FALSE
|
|