순서론과 추상대수학, 논리학에서, 불 대수(Boole代數, )는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자
순서론과 추상대수학, 논리학에서, 불 대수(Boole代數, )는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자(격자 (순서론))이다. 즉, 논리적 공리들을 만족시키는 논리합과 논리곱 및 부정의 연산이 정의된 대수 구조이다. 불 대수의 개념은 다양하게 정의할 수 있으며, 이 정의들은 서로 동치이다. 직교 여원 격자에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 직교 여원 격자를 불 대수라고 한다. 불 대수의 준동형은 여원과 및 을 보존시키는 격자 준동형이다.
불 대수가 뭐야
불 대수