개요 Karnaugh map은 비교적 적은 숫자의 variable에 관해서 정리할 때 유용하다. 하지만, variable의 갯수가 많아지는 경우에는 컴퓨터를 사용해야 한다. Quine-McCluskey method는 Karnaugh map에 비해서 비교적 컴퓨터 프로그래밍에 적합하다. Quine-McCluskey method는 minterm expansion (각 term이 모든 variable을 포함하는 sum-of-products expression 형태)으로부터 minimum solution을 구하는 과정에 사용되고, 다음의 2개의 step을 거친다. 1. XY + XY' = X의 식을 기본으로 하여, 가능한한 많은 variable을 줄이도록 한다. 결과에 나온 term들을 prime implica..

모양 2-variable 에서 확장하여 이번엔 3-variable Karnaugh map을 살펴보자. 아래쪽으로 길쭉한 형태인데, 이번엔 A, B 두개가 아니라 A, BC로 표현되어 있기 때문이다. (AB, C라면 가로로 길쭉한 모양이 될 것이다. 어느쪽으로 긴지 짧은지는 큰 상관이 없다.) BC로 표현되면서 0, 1이 아닌 00, 01, 11, 10이 각 행별로 쓰여져 있다. 각 행은 BC가 00, 01, 11, 10에 해당하는 숫자가 된다. 그림에서도 볼 수 있듯이 ABC = 001을 가리키고 있는 화살표를 살펴보면 BC = 01, A = 0 임을 볼 수 있다. 이러한 방식으로 truth table의 각 숫자들이 배치된다. 주의할 점은 00, 01, 11, 10이라는 숫자의 배치가 서로 뒤섞여서는 안..

Don't Care 비교적 큰 규모의 digital system은 많은 subcircuit으로 나뉜다. 위 그림과 같이 2개의 subcircuit N_1과 N_2이 있는 system을 생각해 보자. 만약, w, x, y, z의 어떤 조합도 ABC = 001 이나 110 이 되는 output을 만들어내지 않는다고 가정하자. 즉, ABC는 001이나 110의 값을 가지는것이 불가능하다. 그렇다면 이때의 F는 어떻게 정의될까? 결론 부터 말하자면, 정의할 필요가 없다. 즉, ABC = 001 or 110 이 되는 그러한 상황에 대해서 고려하지 않더라도 시스템을 분석하는데 문제가 없다. 이런 경우에 우리는 N_2에 대해 다음과 같이 truth table을 만들어볼 수 있다. 위의 truth table을 보면, ..

Minterm & Maxterm n개의 variable, A, B, C ... 가 있다고 하자. 각각의 variable 또는 그의 complement(A' 와 같은)를 한번씩만 사용하여 어떤 곱을 만든것을 minterm이라고 한다. 예를 들면, variable이 A, B, C 3가지가 있다면, ABC, ABC', A'BC ... 와 같은 것들을 minterm이라고 부를 수 있다. 각각의 variable 또는 그의 complement(A' 와 같은)를 한번씩만 사용하여 어떤 합을 만든것을 maxterm이라고 한다. 예를 들면, variable이 A, B, C 3가지가 있다면, A + B + C, A + B + C' ... 와 같은 것들을 maxterm이라고 할 수 있다. Minterm & Maxterm E..