이 카탈로그는 AND와 OR을 결합하는 표현식에 적용됩니다. 기억을 돕기 위해 동종 표현식에 대한 테스트 요구사항을 도출하는 방법을 다시 한 번 설명합니다.
A1 && A2 && ... && An:
-
모든 Ai가 true인 테스트 아이디어
-
N 케이스, 각각은 정확히 하나의 false를 갖습니다.
예제:
A && B && C
|
A
|
B
|
C
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
true
|
true
|
true
|
FALSE
|
A1 || A2 || ... || An:
-
모든 Ai가 false인 테스트 아이디어
-
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
|
|