|
Esse catálogo aplica-se a expressões que combinam ANDs e ORs. Como lembrete, aqui está como derivar os requisitos de
teste para expressões homogêneas:
A1 && A2 && ... && An:
-
uma idéia de teste com All Ai's true
-
N casos, cada um deles tem exatamente um termo falso.
Exemplo:
|
A && B && C
|
|
A
|
B
|
C
|
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
A1 || A2 || ... || An:
-
uma idéia de teste com All Ai's false
-
N casos, cada um deles tem exatamente um termo verdadeiro.
Exemplo:
|
A || B || C
|
|
A
|
B
|
C
|
|
FALSO
|
FALSO
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
Dois Operadores Booleanos
|
(A && B) || C
|
|
A
|
B
|
C
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
FALSO
|
FALSO
|
|
A && (B || C)
|
|
A
|
B
|
C
|
|
verdadeiro
|
FALSO
|
FALSO
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
|
A || (B && C)
|
|
A
|
B
|
C
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
|
(A || B) && C
|
|
A
|
B
|
C
|
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
Três Operadores Booleanos
Um And
Para ajudar a localizar uma expressão, leia as colunas. Os ANDs vão da esquerda para a direita, conforme você lê.
|
(A && B) || C || D
|
|
((A || B) && C) || D
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
FALSO
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
FALSO
|
FALSO
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
FALSO
|
|
A && (B || C || D)
|
|
A || (B && (C || D))
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
verdadeiro
|
FALSO
|
FALSO
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
FALSO
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
FALSO
|
FALSO
|
verdadeiro
|
|
A || (B && C) || D
|
|
A || B || (C && D)
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
FALSO
|
FALSO
|
verdadeiro
|
FALSO
|
|
(A||B) && (C || D)
|
|
(A || B || C) && D
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
FALSO
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
|
|
|
|
|
FALSO
|
FALSO
|
verdadeiro
|
FALSO
|
Três Operadores Booleanos
Dois Ands
Para ajudar a localizar uma expressão, leia as colunas. Os ORs vão da direita para a esquerda, conforme você lê
|
(A && B && C) || D
|
|
((A && B) || C) && D
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
FALSO
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
A && B && (C || D)
|
|
A && (B || (C && D))
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
FALSO
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
A && (B || C) && D
|
|
(A || B) && C && D
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
verdadeiro
|
FALSO
|
FALSO
|
verdadeiro
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
(A && B) || (C && D)
|
|
A || (B && C && D)
|
|
A
|
B
|
C
|
D
|
|
A
|
B
|
C
|
D
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
FALSO
|
FALSO
|
verdadeiro
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
FALSO
|
verdadeiro
|
FALSO
|
verdadeiro
|
|
verdadeiro
|
FALSO
|
verdadeiro
|
FALSO
|
|
verdadeiro
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
|
|
|
|
|
FALSO
|
verdadeiro
|
verdadeiro
|
FALSO
|
|
