1. 부울함수의 대수적 간소화
① 논리회로의 간소화
- 부울대수의 간소화를 통해 논리회로를 구성하는 게이트 수와 입력 변수의 수를 줄일 수 있음.
- 논리회로를 논리식으로 표현한 후에 부울대수의 기본 규칙을 이용하여 간소화함.
② 부울함수의 대수적 간소화
- 부울대수의 정리를 이용하여 변환한 다음, 변환된 여러 함수 중 가장 간단한 형태의 함수를 찾아내는 것
▶ 항결합 : 두개의 항 결합하여 하나의 항으로 만드는 방법
▶ 문자 소거 : 중복된 문자를 제거하는 방법
▶ 합의 정리 활용 방법
③ 예시2
2. 카르노맵
① 카르노맵 : 부울변수들에 대한 최소항들을 도표로 그려서 인접한 항들을 서로 묶은 후 최소화하는 방법
- 돈케어 조건 : 각 셀의 값이 0,1에 상관없이 같은 값을 가짐, 돈케어에 해당하는 셀은 카르노맵 간소화시 0,1중 유리한 방향으로 사용
② 정규합형 : 변수의 곱을 합한 형태, 변수의 곱항을 민턴이라 함. >xy+x'y
③ 정규곱형 : 변수의 합을 곱한 형태, 변수의 합항을 맥스텀이라함(함수값0) ->(x+y)*(x'+y)
- 묶을 때, 가능한 많이(2의 n승개) + 항의 개수는 적게