01 · 불이 풀려던 문제
왜 논리를 계산으로 옮기려 했을까요?
논리식을 정리하다 보면 모양이 전혀 다른 두 식이 나옵니다. 둘이 정말 같은 규칙인지 감으로 판단하면 실수하기 쉽습니다. 불의 대수적 관점에서는 기호식의 변형도 같은 부류 관계를 보존해야 합니다.
불은 1847년 저서의 부제에서 자신의 작업을 ‘연역적 추론의 계산법’을 향한 시도로 제시했습니다. 1848년 논문에서는 논리가 부류 사이의 관계를 다룬다는 관점을 더 분명하게 설명했습니다.
02 · 불의 제안
기호가 뜻을 잃지 않도록 법칙을 세웁니다
xy+x(1−y)를 펼쳐 보면 x가 y에 속하는 부분과 y에 속하지 않는 부분으로 나뉜 모습입니다. 두 부분을 합치면 x 전체가 됩니다. 00, 01, 10, 11 네 입력에서 두 식의 결과를 비교하면 언제나 같습니다. 표는 대수적 간단화가 실제 선택 결과를 바꾸지 않았는지 확인하는 검산 역할을 합니다.
xy + x(1−y) = x
03 · 숫자표로 확인하기
표의 값을 바꾸며 확인해 보세요
두 식의 결과를 네 행에서 비교하기네 입력 조합에서 두 식의 결과가 같은지 비교하세요.
| x | y | xy+x(1−y) | x | 일치 |
|---|
각 행은 입력값의 한 조합입니다. 1은 조건이 참임을, 0은 거짓임을 뜻합니다. 출력열에서 각 조합의 결과를 확인하세요.
04 · 오늘의 적용
불의 계산은 지금 어디에서 쓰일까요?
조건문을 단순화하거나 데이터 필터를 리팩터링할 때 ‘코드는 짧아졌는데 결과는 그대로인가?’를 검증해야 합니다. 가능한 입력이 적을 때는 전수 표를 만들면 가장 명확합니다. 더 큰 규칙에서는 같은 원리를 자동 테스트와 회귀 검증으로 확장할 수 있습니다.
먼저 x와 y가 어떤 조건인지 적어 보세요. 비교하는 대상의 범위와 중복 허용 여부까지 정하면 표와 식의 뜻이 분명해집니다.
자료와 출처