1. 부울 대수
ㅇ 복잡한 논리를 꽤 단순한 규칙으로 표현해 낼 수 있음
- 논리 값 둘 : 1(true), 0 (false)
- 논리 연산 셋 : AND, OR, NOT (이들이 전부임)
2. 부울 대수 : 부울 변수, 부울 연산, 부울 식, 부울 함수
ㅇ (변수) 부울 변수 (Boolean Variable) / 논리 변수 (Logic) / 2치 변수, 이진 변수 (Binary)
- 참(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)
- 입출력 논리 관계인 부울 식을 함수 형태로 나타낸 것
- 구성 요소 : 셋(3)
. 부울 변수(논리 변수), 부울 연산(논리 연산) 기호 (AND,OR,NOT), 논리값 (0,1)
- 例) Y(A,B,C) = AB + A'C
. Y(A,B,C) : 부울 함수, A,B,C : 부울 변수, + : 연산 기호
※ 통상, 입출력의 논리적 관계를,
- 한눈에 보는 진리표 대신 논리식(부울식)으로 변환시켜 짧게 표현함
- 단, 진리표는 단 하나 만 나오지만, 논리식(부울식)은 여러 등가적 표현이 가능함