이산수학 : 부울 대수와 논리 회로 설계 - 부울식의 최소화: 카르노 맵

카르노 맵 부울 함수의 간단한 논리합 형식을 찾아내는 방법 두 변수 x, y를 갖는 부울식을 위한 카노우 맵은 사각형에서 2 * 2 개의 칸으로 구성된다. 각 칸은 부울 함수의 최소항을 의미한다. X X Y XY X`Y Y` XY` X`Y 부울 함수에서 해당 최소항이 있으면 그 칸을 1로 표시한다. X X` Y 1 Y` 1 1 부울식의 최소화 하나의 변수만이 다른 최소항들은 서로 인접한다고 한다. 카노우 맵에서 두 개의 인접한 칸이 1일 때 인접된 칸을 나타내는 최소항은 두 변수 중에서 공통된 변수 하나만으로 나타낼 수 있다. EX) x'y + x'y' = x'(y + y') = x' 이러한 성질을 이용하면 주어진 부울식에서 항의 수를 최소화할 수 있다. x x' y 1 1 y' => x와 x'이 서로 인접해 있으니 공통 변수 y로 나타낼 수 있다. 정리 카노우 맵을 만들 때 변수가 2개면 2 * 1, 변수가 3개면 4 * 2, 변수가 4개면 4 * 4 인접하는 칸들은 동일한 변수를...

원문링크 : 이산수학 : 부울 대수와 논리 회로 설계 - 부울식의 최소화: 카르노 맵