불의 제안을 나만의 규칙에 어떻게 적용할까요?

01 · 불이 풀려던 문제

문장으로 쓴 규칙의 빠진 경우를 어떻게 알아낼까요?

가상의 장학 프로그램을 운영한다고 해 보겠습니다. 신청서 완성 x, 필수 교육 이수 y, 추천서 있음 z를 확인해 ‘바로 선정’ A와 ‘보완 요청’ B를 결정합니다. 예를 들어 “신청서와 교육이 모두 확인되면 선정한다”라고만 쓰면 나머지 경우를 어떻게 처리할지 알기 어렵습니다. 추천서가 결정에 정말 필요한지도 문장만으로는 분명하지 않습니다.

불은 대상을 한 부류에 속하면 1, 속하지 않으면 0으로 두고, 교집합을 곱으로 나타냈습니다. 1854년 저술에서는 가능한 모든 구성요소를 펼쳐 명제의 정보를 분해하는 방법을 사용했습니다. 여기서는 그 불 논리의 생각을 빌려 세 조건의 2³=8개 행을 빠짐없이 만들고, 각 행에 A와 B를 따로 표시합니다. 0은 확인된 비해당이며 미확인과 같지 않습니다.

02 · 불의 구성항이라는 제안

한 행을 곱으로 쓰고, 선택한 행들을 더합니다

x=1, y=0, z=1인 행은 x(1−y)z로 씁니다. 값이 1인 조건은 그대로, 0인 조건은 1에서 뺀 꼴로 적으면 이 곱은 정확히 그 행에서만 1이 됩니다. 바로 선정할 행이 여러 개라면 해당 구성항을 더합니다. 서로 다른 행의 구성항은 동시에 1이 될 수 없으므로 이 화면의 합은 보통 덧셈과 같은 값을 냅니다.

화면에는 현대식 OR 기호 대신 불의 전개를 따라 +를 표시합니다. 모든 행을 선택하면 식을 1, 아무 행도 선택하지 않으면 0으로 줄입니다. 표의 행 개수는 사람 수나 확률이 아닙니다. 세 조건이 만들 수 있는 논리적 경우의 수입니다.

03 · 불의 제안을 나만의 규칙으로 만들기

A와 B를 눌러 8행 결정표를 완성해 보세요

‘빈틈 없는 예’는 A=xy, B=1−xy로 둡니다. 추천서 z가 바뀌어도 결정이 같으므로 z는 이 규칙에서 불필요합니다. 빈틈과 겹침 예를 차례로 누른 뒤 붉거나 노란 행, 식, 현재 입력 경로가 한 상태로 함께 바뀌는지 확인하세요.

04 · 표에서 얻은 발견

빈틈, 충돌, 불필요 조건은 서로 다른 결함입니다

A=0이고 B=0인 행은 어느 결정에도 들어가지 않는 빈틈입니다. A=1이고 B=1인 행은 두 결정이 동시에 적용되는 겹침입니다. 모든 행에서 A와 B 가운데 정확히 하나만 1이면 이 두 결정을 기준으로 규칙이 완전하고 충돌하지 않습니다. 이 판정은 규칙의 공정성이나 적법성까지 보증하지는 않습니다.

어떤 조건의 0행과 1행을 짝지어 비교했을 때 A와 B가 네 쌍 모두 같다면 그 조건은 현재 결과에 영향을 주지 않습니다. 입력칸에는 있는데 쓰이지 않는 조건입니다. 반대로 한 쌍이라도 결정이 바뀌면 그 조건은 결과를 가르는 데 사용됩니다. 화면은 세 조건을 각각 네 쌍씩 비교해 알려 줍니다.

05 · 오늘의 실제 적용

검색 조건, 승인 흐름, 서비스 규칙을 배포 전에 점검합니다

오늘의 규칙 시스템은 대출 심사·보험·행정·의료와 할인 적용·문서 분류·알림 우선순위 등 여러 분야에서 쓰입니다. OMG의 Decision Model and Notation(DMN)은 결정 요구를 그림으로 나타내고 결정표를 포함한 표현 언어로 규칙을 기술하는 표준입니다. 불이 DMN을 만든 것은 아니지만, 조건을 분리하고 조합 결과를 계산한다는 불 대수의 관점은 이런 표를 읽는 토대가 됩니다.

작은 규칙이라도 모든 조합을 표로 펼치면 담당자마다 다르게 해석하던 문장을 실행 가능한 기준으로 바꿀 수 있습니다. 빈 결과를 발견하면 예외 처리나 추가 질문을 정하고, 겹침을 발견하면 우선순위를 정하거나 조건을 고칩니다. 결과에 영향을 주지 않는 조건을 제거하면 입력 부담과 개인정보 수집을 줄일 여지도 생깁니다. 실제 고위험 결정은 법률·도메인 전문가의 검토, 편향 점검, 설명과 이의 제기 절차가 함께 필요합니다.

06 · 역사와 한계

불의 구성항과 후대의 결정표를 구별합니다

불의 1847년 책과 1848년 논문, 1854년 『사고의 법칙에 대한 탐구』는 논리적 부류와 명제를 대수적으로 계산하려는 원전입니다. 지금과 같은 0·1 진리표 표기, 컴퓨터 규칙 엔진, DMN 결정표는 후대의 발전입니다. 따라서 이 화면을 불이 직접 설계했다고 말하지 않습니다. 불의 구성항 방법을 현대의 상호작용 표로 다시 구성했다고 설명하는 편이 정확합니다.

세 조건의 8행은 손으로 확인하기 쉽지만 조건이 n개면 행은 2ⁿ개로 늘어납니다. 실제 시스템은 제약 조건, 결정 다이어그램, SAT 검사, 조합 테스트 같은 방법으로 필요한 경우를 줄이거나 자동 탐색합니다. 또 표가 논리적으로 완전해도 조건 자체가 부당하거나 자료가 부정확하면 좋은 규칙이 아닙니다.