카르노맵 논리식 간소화 계산기

A′B′C + A′BC = A′C(B′ + B) = A′C이기 때문입니다. 한 변수만 다른 두 항을 합치면 그 변수가 지워지므로, 카르노맵은 옆칸끼리 언제나 한 비트만 다르도록 그레이 코드(00 01 11 10) 순서로 칸을 늘어놓습니다.

이웃입니다. 왼쪽 끝 열과 오른쪽 끝 열, 맨 위 행과 맨 아래 행이 감겨 이어져 있어 네 귀퉁이도 하나로 묶입니다. 4변수 맵에서 0, 2, 8, 10번 칸이 B′D′ 하나로 묶이는 것이 그 예이며, 손으로 묶을 때 가장 자주 놓치는 지점입니다.

항 수와 리터럴 수가 같으면 둘 다 맞습니다. 최소 표현이 하나뿐이라는 보장이 없어, 어느 쪽으로 묶느냐에 따라 모양이 다른 같은 크기의 답이 여럿 나올 수 있기 때문입니다. 이 계산기는 그런 답이 몇 가지인지 세어 함께 보여 줍니다.

묶을 때는 1처럼 쓰고, 덮을 의무는 지지 않습니다. 이 비대칭이 무관항의 전부이며, 크게 묶는 데 도움이 될 때만 끌어다 쓰면 됩니다. 절대 들어오지 않는 입력이나 결과가 무엇이든 상관없는 자리에 두며, 잘 쓰면 식이 크게 짧아집니다.

어떤 1칸을 덮는 주항이 그것 하나뿐일 때, 그 주항은 반드시 답에 들어가야 하므로 필수 주항입니다. 필수 주항을 먼저 넣고 남은 칸을 덮는 최소 조합을 고르는 것이 표준 절차이며, 이 계산기는 그 뒤를 페트릭 방법으로 풀어 최소임을 보장합니다.

전송되지 않습니다. 모든 계산은 브라우저 안에서 이뤄지고, 입력값은 이 기기에만 남습니다.