불 대수: 두 판 사이의 차이

[[순서론]]과 [[추상대수학]], [[논리학]]에서, '''불 대수'''(Boole代數, {{llang|en|Boolean algebra}})는 고전 [[명제 논리]]의 명제의 격자와 같은 성질을 갖는 [[격자 (순서론)|격자]]이다. 즉, 논리적 공리들을 만족시키는 [[논리합]]과 [[논리곱]] 및 [[부정]]의 연산이 정의된 [[대수 구조]]이다.