- 영국 수학자 불에 의해 개발
- AND : 입력 값이 모두 1일 때 1 출력
- OR : 입력 값이 하나라도 1일 때 1 출력
- NOT : 부정
기본 공식
- 합의 곱을 곱의 합으로 변환
- 분배법칙 예외 : A +(B×C) = (A + B)(B + C)
- 드모르강
- (A + B)` = A`×B`
- (A×B)` = A`+ B`
- 멱등
- A + A = A
- A×A = A
- 보수
- A + A` = 1
- A×A` = 0
- 항등
- A + 0 = A
- A + 1 = 1
- A×0 = 0
- A×1 = A
- 콘센서스
- AB + BC + CA` = AB + CA`
- (A + B)(B + C)(C + A`) = (A + B)(C + A`)
- 복원 : A`` = A
- 기타
- A + A`B = A + B
- A + AB = A