logical expression : 논리식
circuit implement : 전자회로 구현
moore's law : 칩의 밀도가 2배씩 늘어난다 1년에서 2년마다
parallel : 평행, 병렬
analysis : 분석
synthesis : 합성
duplicate : 복제하다
boolean logic = boolean algebra : 불 논리
-> aximos 와 theorems 을 이용해서 식을 간단하게 만드는 것이다
complement : 보수
boolean 에서의 complement 는 부정인 a' 등을 뜻한다.
literal : boolean 에서의 literal 은 각각의 variable 들과 그것의 complement 들을 말한다. k-map 에서는
implicant : literal's product 즉 변수들의 곱 들을 뜻한다. 따라서 ab, a'b, a, b 등 이 될 수 있다.
minterm : 모든 변수들이 참여 하여 곱으로 연결해한 것이다.
maxterm: input 변수들을 넣어서 합으로 연결 한 것이다.
aximos : 공리 (항상 옳음이 증명된 명제)
theorem : 정리 ( 수학적으로 증명된 명제)
how to prove properties :
1. algebraic manipulation
2. truth table