불 대수 간소화기

대수 법칙, Quine-McCluskey 및 카르노 맵 최소화를 사용하여 불 대수 식을 간소화하세요. 논리식(AND, OR, NOT, XOR, NAND, NOR)을 입력하면 즉시 최소 SOP/POS 형식, 전체 진리표, K-Map 시각화, 게이트 다이어그램, 단계별 법칙 적용 및 NAND/NOR 전용 등가식을 제공합니다.

불 대수 간소화기

Embed 불 대수 간소화기 Widget

불 대수 간소화기 정보

불 대수 간소화기는 Quine-McCluskey 알고리즘과 카르노 맵 분석을 사용하여 모든 논리식을 최소 형태로 줄여줍니다. AND, OR, NOT, XOR, NAND, NOR (또는 &, |, ~, ^, 접미사 A'와 같은 기호)를 사용하여 식을 입력하면 즉시 전체 진리표, 주 함의항 루프가 표시된 색상 카르노 맵, 필수 항목이 표시된 주 함의항 표, 단계별 유도 과정 및 동등한 NAND 전용 및 NOR 전용 구현을 확인할 수 있습니다.

간소화기가 생성하는 결과

📊

진리표

식의 출력과 함께 모든 \(2^n\)개의 입력 조합을 보여줍니다.

🗺️

카르노 맵

각 주 함의항이 외곽선으로 표시된 그레이 코드 격자입니다.

🎯

최소 SOP / POS

가장 적은 리터럴과 항을 가진 최적의 형태입니다.

🧩

주 함의항

필수 마커를 통해 어떤 항이 반드시 필요한지 알 수 있습니다.

↑↓

NAND/NOR 형태

회로 합성을 위한 범용 게이트 동등 식입니다.

↘

단계별 과정

Quine-McCluskey 유도 과정을 설명합니다.

불 대수 법칙 — 참조

법칙	OR 형태	AND 형태
항등 법칙	\( A + 0 = A \)	\( A \cdot 1 = A \)
지배 법칙	\( A + 1 = 1 \)	\( A \cdot 0 = 0 \)
멱등 법칙	\( A + A = A \)	\( A \cdot A = A \)
보수 법칙	\( A + \overline{A} = 1 \)	\( A \cdot \overline{A} = 0 \)
이중 부정	\( \overline{\overline{A}} = A \)
교환 법칙	\( A + B = B + A \)	\( A \cdot B = B \cdot A \)
결합 법칙	\( (A + B) + C = A + (B + C) \)	\( (A \cdot B) \cdot C = A \cdot (B \cdot C) \)
분배 법칙	\( A \cdot (B + C) = AB + AC \)	\( A + BC = (A+B)(A+C) \)
흡수 법칙	\( A + AB = A \)	\( A(A + B) = A \)
드 모르간의 법칙	\( \overline{A + B} = \overline{A} \cdot \overline{B} \)	\( \overline{A \cdot B} = \overline{A} + \overline{B} \)
합의 법칙 (Consensus)	\( AB + \overline{A}C + BC = AB + \overline{A}C \)

입력 구문 치트 시트

연산자	허용되는 형태	예시
AND	`&`, `*`, `·`, `.`, 연결 `AB`, 단어 `AND`, `∧`	`A&B`, `AB`, `A AND B`
OR	`+`, `\|`, 단어 `OR`, `∨`	`A+B`, `A \| B`, `A OR B`
NOT	`~`, `!`, `¬`, 단어 `NOT`, 접미사 `'`	`~A`, `!A`, `A'`, `(AB)'`
XOR	`^`, `⊕`, 단어 `XOR`	`A XOR B`, `A^B`
NAND	`⊼`, 단어 `NAND`	`A NAND B`
NOR	`⊽`, 단어 `NOR`	`A NOR B`
함의 (Implies)	`->`, `=>`, 단어 `IMPLIES`, `→`	`A -> B`
동치 (Equivalence)	`<->`, `<=>`, 단어 `IFF`, `↔`	`A <-> B`
상수	`0` `1` `TRUE` `FALSE`	`A + 0`, `A * 1`

Quine-McCluskey 알고리즘

Quine-McCluskey 방법은 최소 논리합 항(SOP) 식을 찾기 위한 체계적인 표 형식의 접근 방식입니다. 시각적이며 약 6개의 변수로 제한되는 카르노 맵과 달리, Quine-McCluskey는 확장이 가능하며 항상 최소 커버를 보장합니다.

모든 최소항 나열 — 결과값이 1이 되는 진리표의 각 행을 나열합니다.
1-비트 개수별로 그룹화 — 이진 표현에서 1의 개수에 따라 최소항을 정렬합니다.
인접 그룹 결합 — 정확히 한 비트만 다른 쌍을 병합하고 해당 비트를 대시(-)로 바꿉니다. 더 이상 결합이 불가능할 때까지 반복합니다.
주 함의항 수집 — 더 이상 결합되지 않은 모든 항이 주 함의항이 됩니다.
주 함의항 표 작성 — 주 함의항을 행으로, 최소항을 열로 하는 격자를 만듭니다. 어떤 주 함의항이 어떤 최소항을 포함하는지 표시합니다.
필수 주 함의항 선택 — 특정 최소항을 포함하는 유일한 주 함의항은 필수 항목입니다.
남은 최소항 포함 — 필수 항목에 의해 포함되지 않은 최소항을 덮기 위해 리터럴 수를 최소화하는 추가 주 함의항을 선택합니다.

불 대수 간소화기 사용 방법

식 입력: 선호하는 표기법을 사용하여 불 대수 식을 입력합니다. A.B + A'C와 A AND B OR NOT A AND C는 동일하게 분석되므로 스타일을 혼합해서 사용할 수 있습니다.
간소화 클릭: 도구가 식을 분석하고, 진리표를 작성하며, Quine-McCluskey를 실행하여 식을 최소화합니다.
K-맵 학습: 각 색상 루프는 주 함의항입니다. 필수 주 함의항은 실선으로, 비필수 항목은 점선으로 그려집니다.
과정 검토: 단계별 패널을 통해 표준 SOP부터 주 함의항 발견을 거쳐 최소 형태에 이르는 과정을 확인할 수 있습니다.
동등 형태 확인: 대상 기술이 OR-of-AND인 경우 최소 POS를 사용하고, NAND 기반 반도체를 대상으로 하는 경우 NAND 전용 형태를 사용하세요.

응용 분야

분야	활용 사례
디지털 회로 설계	조합 논리의 게이트 수 최소화 — 게이트가 적을수록 전력 소모가 적고, 칩 크기가 작아지며, 전파 지연이 짧아집니다.
컴파일러 최적화	if문과 루프 조건의 조건식을 단순화하여 분기 평가 비용을 줄입니다.
프로그래밍 가능 논리 (FPGA)	최소 리터럴 형태를 생성하여 가용한 룩업 테이블(LUT)에 더 많은 논리를 배치합니다.
데이터베이스 쿼리 최적화	WHERE 절의 조건문을 동등하면서도 평가 비용이 저렴한 형태로 재작성합니다.
형식 검증	표준 형태(SOP/POS)를 통해 두 명세의 동등성 여부를 확인합니다.
교육 / 과제	숙제 확인, 주 함의항 선택 학습, 카르노 맵 그룹화 전략 탐구.

자주 묻는 질문 (FAQ)

불 대수 간소화란 무엇입니까?

불 대수 간소화는 논리식을 더 적은 연산과 리터럴을 가진 동등한 식으로 줄이는 과정입니다. 식이 단순해지면 하드웨어의 논리 게이트 수가 줄어들고, 소프트웨어 실행 속도가 빨라지며, 사람이 검증하기 쉬워집니다. 이 도구는 법칙 적용, 카르노 맵, Quine-McCluskey 알고리즘의 세 가지 방법을 모두 결합하여 사용합니다.

최소 논리합 항(SOP) 형태란 무엇입니까?

최소 논리합 항 형태는 불 함수를 가능한 적은 곱 항의 합(OR)으로 작성하며, 각 곱은 가능한 적은 리터럴을 사용합니다. 함수를 표준 SOP(참인 행당 하나의 최소항)로 확장한 다음, \( XY + \overline{X}Y = Y \) 법칙을 사용하여 더 이상 결합이 불가능할 때까지 인접한 최소항을 결합하여 찾습니다. 결과는 최소 2단 계층의 AND-OR 회로가 됩니다.

카르노 맵은 어떻게 작동합니까?

카르노 맵은 인접한 셀이 정확히 하나의 변수만 다르도록 그레이 코드 비트 패턴으로 라벨링된 격자입니다. 1, 2, 4, 8 크기의 인접한 1-셀 그룹은 각각 0, 1, 2, 3개의 변수를 제거하는 곱 항에 해당합니다. 가장 큰 그룹이 항당 가장 적은 리터럴을 생성하므로, 전략은 "모든 1을 가장 큰 직사각형으로 덮는 것"입니다.

주 함의항이란 무엇입니까?

주 함의항은 최소항 그룹을 포함하며 더 큰 그룹을 형성하기 위해 다른 인접 그룹과 결합될 수 없는 곱 항입니다. 필수 주 함의항은 적어도 하나의 특정 최소항을 포함하는 유일한 주 함의항으로, 모든 최소 커버에 반드시 포함되어야 합니다. 비필수 주 함의항은 선택 사항이며 남은 최소항을 덮기 위해 필요한 경우에만 포함됩니다.

간소화 도구는 어떤 입력 구문을 허용합니까?

AND를 &, *, ·, . 또는 단순 연결(AB)로 쓸 수 있습니다. OR은 + 또는 |로 쓸 수 있습니다. NOT은 ~, !, ¬ 또는 접미사 아포스트로피(A', (A+B)')를 사용할 수 있습니다. AND OR NOT XOR NAND NOR IMPLIES IFF와 같은 단어 연산자와 화살표 형태 -> 및 <->도 지원합니다. 괄호와 상수 0, 1(또는 TRUE/FALSE)도 사용 가능합니다.

NAND 전용 및 NOR 전용 형태가 왜 유용합니까?

NAND와 NOR은 범용 게이트로서 모든 불 함수를 이들 중 하나만으로 구현할 수 있습니다. 실제 반도체 공정에서 NAND 게이트는 제조가 가장 빠르고 경제적이어서 논리 컴파일러의 주요 타겟이 됩니다. NAND 전용 식은 구조적으로 AND-OR 회로와 동일한 2단계 NAND-NAND 회로로 직접 읽힐 수 있습니다.

도구는 몇 개의 변수까지 지원합니까?

최대 8개의 변수를 지원합니다. 카르노 맵은 2, 3, 4개 변수(격자 크기 2×2, 2×4, 4×4)에 대해 렌더링됩니다. 5개 이상의 변수의 경우 진리표는 32개 이상의 행으로 늘어나지만 Quine-McCluskey 알고리즘은 여전히 정확한 최소 형태를 생성합니다. 단, 5변수 이상의 카르노 맵은 가독성이 떨어지므로 생략됩니다.

두 불 대수 식이 동등한지 확인할 수 있습니까?

네, 두 식을 각각 간소화해 보세요. 최소 SOP 형태가 동일하다면 두 식은 같은 함수를 계산하는 것입니다. 또한 진리표를 행별로 비교할 수도 있습니다. 간소화기는 함수의 고유한 지문인 최소항 세트와 표준 SOP를 모두 출력합니다.

이 콘텐츠, 페이지 또는 도구를 다음과 같이 인용하세요:

"불 대수 간소화기" - https://MiniWebtool.com/ko/불-대수-간소화기/에서 MiniWebtool 인용, https://MiniWebtool.com/

MiniWebtool 팀 제작. 업데이트: 2026-04-19

또한 저희의 AI 수학 해결사 GPT를 사용하여 자연어 질문과 답변으로 수학 문제를 해결할 수 있습니다.