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