1. 논리 값 (Logical Value) / 진리 값 (Truth Value) / 부울 값 (Boolean Value) / 2치 값
ㅇ 논리의 기본 단위인 명제에 값을 부여한 것
- 명제를 참(True,1,On,High) 또는 거짓(False,0,Off,Low)으로 나타내는 값
※ 한편, 논리값 대응 전압레벨
- 정 논리 (Positive Logic) : (True,1)을 높은 전압(High)에, (False,0)을 낮은 전압(Low)에 대응
- 부 논리 (Negative Logic) : (False,0)을 높은 전압(High)에, (True,1)을 낮은 전압(Low) 대응
2. 논리표 (Logical Table) / 진리표 (Truth Value)
ㅇ 입출력 동작에 대한 논리적 관계를, 표로써 정리하여 나타낸 것
- 논리식(복합명제)의 논리적 관계의 결과인 입출력 논리값(진위값)을 일목요연하게 나타내는 표
- 이 표로부터 입출력 논리값에서 모든 가능한 패턴의 조합을 볼 수 있음
※ 논리게이트별 논리표 ☞ AND게이트,OR게이트,NOT게이트,NAND게이트,NOR게이트 등 참조
ㅇ 통상, 입출력의 논리적 관계(논리함수,부울함수)를,
- 진리표 대신 논리식(부울식)으로 변환시켜 짧게 표현함
- 단, 진리표는 단 하나 만 나오지만, 논리식(부울식)은 여러 등가적 표현이 가능함
3. 논리 변수 (Logical Variable) / 부울 변수 (Boolean Variable) / 2치 변수 (Two-value Variable)
ㅇ 참 또는 거짓 만을 값으로 갖는 변수 => 비트(Bit)로도 나타낼 수 있음
4. 논리 식 (Logical Expression) ☞ 부울식 참조
ㅇ 입출력 동작에 대한 논리적 관계를,
- 논리 변수들 간에, 논리곱,논리합,논리부정 연산자들을 결합시켜,
- 이를 식으로 표현한 것
ㅇ 통상, 진리표로부터 유도된 논리식으로부터 논리회로를 구현해 냄
- 이때, 회로 크기의 최소화를 위해, `논리식의 간략화` 과정이 필요하게 됨
5. [참고사항]
ㅇ (디지털공학) ☞ 부울대수(논리연산), 부울변수, 논리전압레벨 등 참조
ㅇ (프로그램) ☞ 조건식 (조건문,반복문 등) 참조
ㅇ (프로그래밍언어) ☞ 논리값형, 자바스크립트 논리값 등 참조