논리적 산법의 완전한 체계불 논리라는 이름은 19세기 중순에 논리의 대수계를 처음으로 정의한 조지 불에서 따온 것기본적으로 true false처럼 데이터 타입이기도 하고 Set Theory and orBoolean Algebra NotionConsensus TheoremDichotomyBoolean OperatorBoole’s inequalityGeorge BooleSatisfiability problemConjunctive Normal Form 불 대수 - 위키백과, 우리 모두의 백과사전불 대수의 개념은 다양하게 정의할 수 있으며, 이 정의들은 서로 동치 이다. 직교 여원 격자에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 직교 여원 격자를 불 대수 라고 한다. 분배 격자이다. 임의의 원소 에 대하여, 이며 인 가 유일하게 존재한다. (이는 물론 이다.)https://ko.wikipedia.org/wiki/%EB%B6%88_%EB%8C%80%EC%88%98