← 수학 & 통계

논리식 진리표 계산기

최대 10개의 변수에 대해 진리표와 합 표준형(DNF), 곱 표준형(CNF), 카르노 맵, 콰인–맥클러스키 단순화를 보여주고, CSV·공유 링크·계산 과정을 함께 제공합니다.

요약

자주 묻는 질문

어떤 연산자를 사용할 수 있나요?

부정에는 ! 또는 ~, 논리곱에는 & 또는 ∧, 배타적 논리합에는 ^, 논리합에는 | 또는 ∨, 함의에는 ->, 동치에는 <->, 상수에는 0, 1, T, F를 사용할 수 있습니다.

카르노 맵과 콰인–맥클러스키는 언제 선택되나요?

변수가 4개 이하이면 도구가 카르노 맵처럼 최소항을 묶습니다. 변수가 5개 또는 6개이면 Petrick 선택법과 함께 콰인–맥클러스키를 사용합니다. 변수가 6개를 넘으면 정규 합 표준형(DNF)으로 되돌아갑니다.

관련 계산기