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)로도 나타낼 수 있음
ㅇ 논리식 (Logical Expression) ☞ 부울식 참조
- 입출력 동작에 대한 논리적 관계를,
- 논리 변수들 간에 논리곱,논리합,논리부정 연산자들을 결합시켜,
- 이를 식으로 표현한 것
ㅇ 통상, 진리표로부터 유도된 논리식으로부터 논리회로를 구현해 냄
- 이때, 회로 크기의 최소화를 위해, `논리식의 간략화` 과정이 필요하게 됨
4. [참고사항]
ㅇ (디지털공학) ☞ 부울대수(논리연산), 부울변수, 논리전압레벨 등 참조
ㅇ (프로그램) ☞ 조건식 (조건문,반복문 등) 참조
ㅇ (프로그래밍언어) ☞ 논리값형, 자바스크립트 논리값 등 참조