6. 카르노맵

변수들로 구성된 논리식을 최적화할 때 사용함

 

: 각 최소항 중 출력이 1인 부분을 셀에 표시함

: 네모가 가장 크게 되도록 묶음

: 논리식으로 옮겨적기 -> A=0이라는 부분이 고정값이기 때문에 F=/A라는 식이 도출됨

: F=/A/B + /AB = /A(/B+B) = /A

 

: 중복되는 최소항이 존재하더라도 묶어야 함, 각각의 네모에 대해 변수를 쓰고, 이를 OR로 연결

 

 

 

3변수 카르노맵

: 셀의 배치가 그레이 코드 순서인 것에 주의

: 카르노맵의 양쪽 끝은 연결되어 있음

: 모든 셀이 다른 묶음에 포함되어 있는 경우는 중복되어 묶지 않음