Этот каталог применим к выражениям со смешанным употреблением логических AND и OR. Напомним, как тестовые требования
получаются для однородных выражений:
A1 && A2 && ... && An:
-
одна тестовая идея со всеми истинными Ai
-
N случаев, каждый из которых имеет только один член, равный false.
Пример:
A && B && C
|
A
|
B
|
C
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
A1 || A2 || ... || An:
-
одна тестовая идея со всеми ложными Ai
-
N случаев, каждый из которых имеет только один член, равный true.
Пример:
A || B || C
|
A
|
B
|
C
|
FALSE
|
FALSE
|
FALSE
|
FALSE
|
true
|
FALSE
|
true
|
FALSE
|
FALSE
|
FALSE
|
FALSE
|
true
|
Два булевских оператора
(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
|
Три булевских оператора
Один AND
Просмотрите столбцы для поиска нужного выражения. По мере чтения AND перемещаются слева направо.
(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
|
Три булевских оператора
Два AND
Просмотрите столбцы для поиска нужного выражения. По ходу чтения OR переходят справа налево
(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
|
|