Proposition
명제
- True나 False중 어느 한 값으로 표현이 가능한 문장
* Propositional Logic (명제 논리)
- 내부 구조가 없는 논리 명제에 논리합, 부정 등과 같은 논리 연산을 가하여 구성한 논리 명제들을 다루는 논리체계이다.
- H/W설계 시, Gates나 Circuit의 정확한 동작을 정의 및 관리하는 데 이용된다.
Proposition
명제
- True나 False중 어느 한 값으로 표현이 가능한 문장
* Propositional Logic (명제 논리)
- 내부 구조가 없는 논리 명제에 논리합, 부정 등과 같은 논리 연산을 가하여 구성한 논리 명제들을 다루는 논리체계이다.
- H/W설계 시, Gates나 Circuit의 정확한 동작을 정의 및 관리하는 데 이용된다.
