입력 a가 0이면 출력 b는 1이 되고, 입력 a가 1이면 출력 b는 0이 나가는 회로를 만든다고 할 때, 이를 바로 회로의 요구 조건(specification)이라고 부릅니다. 과학/공학 분야에서는 이렇게 문장으로 되어 있는 요구 조건을 간단하게 표현해야 이해하거나 정보를 전달하는 데 효율적입니다.

참 또는 거짓, 즉 1과 0의 상태를 가지고 and, or, not 연산을 사용하여 만든 함수를 불 함수(Boolean function)라고 합니다. 앞에서 언급한 회로의 요구 조건을 불 함수를 사용해서 표현하면 뭐가 될까요?

b = not a 또는 b = !a라고 표현할 수 있습니다. 말로 표현된 요구 조건을 불 함수를 사용하니 좀 더 일목요연하네요!

그림 4-8 | 회로의 요구 조건을 불 함수를 사용해 간단하게 표현