불 대수 — 법칙, 정리와 간단화

불 대수는 참/거짓 표현식을 결합하고 간단화하는 데 사용하는 체계입니다. $AB + A\overline{B}$ 같은 논리식을 줄이려면, 여집합 법칙, 분배 법칙, 흡수 법칙, 드모르간 정리 같은 규칙이 핵심 도구가 됩니다.

자주 쓰이는 표기법에서는 $x + y$가 OR, $xy$가 AND, $\overline{x}$가 NOT $x$를 뜻합니다. 어떤 책은 NOT을 $x'$로 쓰기도 하지만, 기본 규칙은 같습니다.

불 대수의 의미

일반 대수는 수를 다룹니다. 불 대수는 참/거짓 또는 $1/0$처럼 두 값만 가질 수 있는 명제나 이진 변수를 다룹니다.

그래서 규칙도 달라집니다. 불 대수에서는

$$x + x = x \quad \text{and} \quad xx = x$$

가 성립합니다. 두 식은 같은 뜻을 말합니다. 같은 조건을 반복해도 새로운 결과가 생기지 않는다는 뜻입니다. 스위치가 이미 켜져 있다면, "켜짐 OR 켜짐"이라고 해도 아무것도 바뀌지 않습니다.

실제로 자주 쓰는 불 대수 법칙

불 식을 간단화할 때 가장 자주 등장하는 법칙들입니다.

항등 법칙

$$x + 0 = x, \qquad x \cdot 1 = x$$

거짓을 OR 해도 아무 변화가 없고, 참과 AND 해도 아무 변화가 없습니다.

영 법칙

$$x + 1 = 1, \qquad x \cdot 0 = 0$$

OR 안에 이미 참이 있으면 전체 결과는 참입니다. AND 안에 거짓이 있으면 전체 결과는 거짓입니다.

멱등 법칙

$$x + x = x, \qquad x \cdot x = x$$

같은 변수를 반복해도 식은 바뀌지 않습니다.

여집합 법칙

$$x + \overline{x} = 1, \qquad x \cdot \overline{x} = 0$$

변수와 그 반대는 OR에서는 모든 경우를 덮지만, AND에서는 절대 동시에 참이 될 수 없습니다.

교환 법칙과 결합 법칙

$$x + y = y + x, \qquad xy = yx$$ $$(x + y) + z = x + (y + z), \qquad (xy)z = x(yz)$$

이 법칙들 덕분에 결과를 바꾸지 않고 항의 순서를 바꾸거나 묶는 방식을 바꿀 수 있습니다.

분배 법칙

$$x(y + z) = xy + xz$$ $$x + yz = (x + y)(x + z)$$

두 번째 형태는 덜 익숙하게 느껴질 수 있지만, 표준적인 불 대수 항등식이며 인수분해할 때 자주 나옵니다.

흡수 법칙

$$x + xy = x, \qquad x(x + y) = x$$

식이 실제보다 더 길어 보일 때 특히 유용합니다.

드모르간 정리

$$\overline{x + y} = \overline{x}\,\overline{y}, \qquad \overline{xy} = \overline{x} + \overline{y}$$

이 정리는 부정이 OR와 AND를 가로질러 어떻게 이동하는지 알려줍니다. NOT이 괄호를 통과할 때는 OR와 AND의 역할이 서로 바뀝니다.

예제: $AB + A\overline{B}$ 간단화하기

다음 식에서 시작합니다.

$$F = AB + A\overline{B}$$

공통인 $A$를 묶으면

$$F = A(B + \overline{B})$$

이제 여집합 법칙을 쓰면

$$F = A \cdot 1$$

그다음 항등 법칙을 쓰면

$$F = A$$

따라서 $AB + A\overline{B} = A$입니다. 직관적으로 보면, $A = 1$일 때는 $B = 1$이거나 $\overline{B} = 1$이므로 두 항 중 하나는 반드시 참입니다. 반대로 $A = 0$이면 두 항 모두 거짓입니다. 결국 전체 식은 $A$에만 의존합니다.

불 대수에서 흔한 실수

흔한 실수 중 하나는 일반 대수의 습관을 불 대수에 그대로 가져오는 것입니다. 예를 들어 $x + x = 2x$는 불 대수의 규칙이 아닙니다. 여기서 올바른 결과는 $x$입니다.

또 다른 실수는 표기법을 확인하지 않고 법칙을 적용하는 것입니다. 많은 교재에서 $+$는 산술 덧셈이 아니라 OR를 뜻하고, 변수를 붙여 쓰면 AND를 의미합니다.

학생들은 드모르간 정리를 잘못 적용해 각 변수에만 부정을 붙이고 OR와 AND를 바꾸는 것을 잊기도 합니다. 두 부분이 모두 중요합니다.

불 대수는 어디에 쓰일까

불 대수는 디지털 논리의 핵심으로, 여기서 변수는 on/off 또는 true/false 상태를 나타냅니다. 회로 설계를 단순화하고, 소프트웨어에서 논리 조건을 더 깔끔하게 작성하고, 검색 필터나 데이터베이스 질의를 분석할 때 사용됩니다.

변수가 이진값이 아니거나 연산이 일반 산술이라면, 불 대수 법칙을 그대로 적용할 수는 없습니다. 이 체계가 성립하는 조건은 값이 두 개뿐이라는 점입니다.

비슷한 식을 직접 간단화해 보기

$(A + B)(A + \overline{B})$를 직접 간단화해 보세요. 위의 법칙들을 차근차근 적용하면 처음 보이는 것보다 더 많이 줄어듭니다. 한 단계 더 해보고 싶다면 진리표를 만들어 간단화한 식이 모든 행에서 원래 식과 일치하는지도 확인해 보세요.