1. 부울 대수
ㅇ 꽤 단순한 규칙으로 복잡한 논리를 표현해 냄
- 논리 값 둘 : 1(true), 0 (false)
- 논리 연산 셋 : AND, OR, NOT (이들이 전부임)
2. 부울 변수, 부울 연산, 부울 식, 부울 함수
ㅇ (변수) 부울 변수 / 논리 변수 / 2치 변수 (Boolean Variable)
- 참(1,True) 또는 거짓(0,False) 만을 값으로 갖는 변수
. 비트(Bit)로도 나타낼 수 있음
ㅇ (연산) 부울 연산 (Boolean Operation) / 논리 연산 (Logic Operation)
- 기초 대수의 사칙 연산(+,-,×,÷) 처럼, 부울 대수의 기본 논리 연산 셋
. 논리합,부울합 (OR,Union) : + 또는 OR 또는 ∨
. 논리곱,부울곱 (AND,Intersection) : · 또는 AND 또는 ∧ 또는 `공백`
. 논리부정 (NOT,Negation,Inverse) : ' 또는 NOT
* 다른 연산자들은 이들로부터 확장 가능 : NAND, NOR, XOR, XNOR 등
ㅇ (식) 부울 식 (Boolean Expression) / 논리 식 (Logic Expression)
- 부울 연산에 의해 표현된 식 ☞ 수리 논리식, 조건식(조건문) 참조
. 디지털 논리회로의 입력부터 출력까지 계산되는 논리를 표현
ㅇ (함수) 부울 함수 (Boolean Function) / 논리 함수 (Logic Function)
- 부울 식을 입출력 관계의 함수로 표현한 것
- 구성 : 셋
. 부울 변수(논리 변수), 부울 연산(논리 연산) 기호, 논리값(0,1)
- 例) Y(A,B,C) = AB + A'C
. A,B,C : 부울 변수, + : 연산 기호, Y(A,B,C) : 부울 함수