2010년부터 · 매월 200만 회 이상의 도구 사용을 지원합니다
2010년부터
Chrome에 추가

내 도구함

자동 모드

저장된 도구가 없습니다.

프리미엄 버전으로 업그레이드하기
관련 도구
다음 단계
카르노 맵 풀이진리표 생성기
같은 상황
논리 게이트 시뮬레이터
더 많은 도구
대수 표현식 단순화 도구비트 계산기HEX 계산기
홈페이지 > 수학 관련 도구 > 고급 수학 연산 도구
 

불 대수 간소화기

MiniWebtool의 불 대수 간소화 도구는 대수 법칙, Quine–McCluskey 방법과 카르노 맵으로 불 표현식을 간소화합니다. AND, OR, NOT, XOR, NAND, NOR 식을 입력하면 최소 SOP/POS 형식, 진리표, K-map, 게이트 도식과 NAND만 사용한 동치식을 제공합니다.

사용법이 궁금하신가요? AI에게 물어보세요
Gemini (복사 후 열기)

Gemini에서는 복사한 질문을 채팅창에 붙여 넣으세요. 아래에서도 복사할 수 있습니다.

질문 보기

하루 3회 무료가입 필요 없음즉시 결과 확인
불 대수 간소화기지금 무료로 사용하기 ▼
카르노 맵에서 인접한 1 두 개는 변수 하나를 없앤다

아래에 불 대수 식을 입력하면 최소 형식, 진리표, 카르노 맵과 단계별 풀이를 보여 줍니다.

예제:
삽입:
허용되는 구문
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR  |  목록 입력: F(A,B,C,D) = Σm(1,3,7) + d(0,2)

불 대수 간소화기 위젯 삽입

불 대수 간소화기 정보

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

한눈에 보기

불 대수 간소화기는 Quine-McCluskey 알고리즘으로 논리식을 최소 곱의 합(SOP)과 합의 곱(POS) 형태로 줄입니다. 진리표, 카르노 맵, NAND만 쓴 동등 회로도 보여줍니다.

불 대수 간소화기: 주요 기능 한눈에 보기
기능제공 내용추천 대상
연산자AND, OR, NOT, XOR, NAND, NOR, 함의, 동치를 단어로 쓰거나 & | ~ ^ 같은 기호, 또는 A' 같은 후위 작은따옴표로 씁니다.강의나 데이터시트에서 쓰는 표기로 식 입력하기
최소형항과 리터럴이 가장 적은 최소 SOP와 POS를 보여주며, 필수 주함의(prime implicant)를 표시하는 차트도 제공합니다.조합 논리 회로의 게이트 수 줄이기
진리표와 카르노 맵입력 2^n개 행의 진리표(변수 최대 8개)와 2, 3, 4변수용 주함의 묶음이 있는 카르노 맵을 보여줍니다.디지털 논리 과제의 카르노 맵 묶음 확인하기
최소항 입력don't care가 있는 최소항으로 함수를 입력하거나(예: F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5)), 최대항으로 입력합니다.진리표나 시험 문제에서 시작하기
NAND와 NOR 형태회로 합성을 위해 NAND만 쓴 동등 회로와 NOR만 쓴 동등 회로, 게이트 도식을 제공합니다.한 종류의 게이트로 회로 만들기
단계별 풀이표준 SOP에서 최소형까지 이르는 Quine-McCluskey 유도 과정입니다.간소화가 어떻게 이루어지는지 배우기

간소화기가 생성하는 결과

📊
진리표
식의 출력과 함께 모든 \(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^, ⊕, 단어 XORA XOR B, A^B
NAND⊼, 단어 NANDA NAND B
NOR⊽, 단어 NORA NOR B
함의 (Implies)->, =>, 단어 IMPLIES, →A -> B
동치 (Equivalence)<->, <=>, 단어 IFF, ↔A <-> B
상수0 1 TRUE FALSEA + 0, A * 1

Quine-McCluskey 알고리즘

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

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

불 대수 간소화기 사용 방법

  1. 식 입력: 선호하는 표기법을 사용하여 불 대수 식을 입력합니다. A.B + A'C와 A AND B OR NOT A AND C는 동일하게 분석되므로 스타일을 혼합해서 사용할 수 있습니다.
  2. 간소화 클릭: 도구가 식을 분석하고, 진리표를 작성하며, Quine-McCluskey를 실행하여 식을 최소화합니다.
  3. K-맵 학습: 각 색상 루프는 주 함의항입니다. 필수 주 함의항은 실선으로, 비필수 항목은 점선으로 그려집니다.
  4. 과정 검토: 단계별 패널을 통해 표준 SOP부터 주 함의항 발견을 거쳐 최소 형태에 이르는 과정을 확인할 수 있습니다.
  5. 동등 형태 확인: 대상 기술이 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을 가장 큰 직사각형으로 덮는 것"입니다.
최소항과 무관 조건을 입력할 수 있나요?
네. F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5)처럼 최소항 목록을 입력하거나 ΠM(…)으로 최대항을 지정할 수 있습니다. m(…) 또는 sum m(…)을 사용할 수 있고, 무관 조건은 dc(…) 또는 x(…)로 입력하면 됩니다. 무관 조건은 진리표와 카르노 맵에 X로 표시되며 그룹을 더 크게 만들 수 있을 때만 사용됩니다.
주 함의항이란 무엇입니까?
주 함의항은 최소항 그룹을 포함하며 더 큰 그룹을 형성하기 위해 다른 인접 그룹과 결합될 수 없는 곱 항입니다. 필수 주 함의항은 적어도 하나의 특정 최소항을 포함하는 유일한 주 함의항으로, 모든 최소 커버에 반드시 포함되어야 합니다. 비필수 주 함의항은 선택 사항이며 남은 최소항을 덮기 위해 필요한 경우에만 포함됩니다.
간소화 도구는 어떤 입력 구문을 허용합니까?
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를 모두 출력합니다.
진리표의 출력값을 사용해 논리식을 간소화하려면 어떻게 하나요?
출력값이 1인 입력 행을 최소항으로 나타낸 다음, F(A,B,C) = Σm(1,3,6) 같은 목록 형식으로 최소항 인덱스를 입력하세요. 간소화 도구는 해당 함수의 최소형과 진리표를 만들 수 있습니다. 사용한 행 인덱스 규칙과 변수 순서가 일치하는지 확인하세요. A, B, C의 순서를 바꾸면 각 인덱스가 나타내는 이진 입력도 달라집니다.
불 대수식을 간소화했는데 항은 줄고 리터럴은 늘어난 이유는 무엇인가요?
불 대수식 간소화에서는 단순함의 기준 하나를 다른 기준과 맞바꿀 수 있습니다. 곱항 수가 적어져도 변수 리터럴의 총수는 더 많을 수 있고, 같은 식을 나타내는 다른 식은 항이 더 많지만 각 항이 짧을 수 있습니다. 동등한 최소 커버가 여러 개일 수 있으므로 회로나 과제의 요구에 가장 잘 맞는 형태를 비교하세요. SOP와 POS는 출력값에서 서로 다른 부분을 묶으므로 같은 형태끼리 비교하는지도 확인하세요.
불 대수식에서 변수 뒤의 어퍼스트로피(')는 무엇을 뜻하나요?
변수 뒤에 붙는 어퍼스트로피는 NOT, 즉 변수의 보수를 뜻합니다. 이 간소화 도구에서 허용하는 표기법으로 A'는 ~A 또는 !A와 같습니다. 예를 들어 AB'는 A AND NOT B입니다. 괄호 없이 식 전체 뒤에 어퍼스트로피를 붙이면 범위를 잘못 해석하기 쉽습니다. (A+B)'는 OR 식 전체의 부정이고 A+B'는 B만 부정합니다. 괄호를 사용해 적용 범위를 분명히 하세요.

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

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

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

개발자 API 사용 가능: 이 도구를 앱, 자동화, 에이전트에서 한 번의 JSON HTTP 요청으로 실행할 수 있습니다. API 문서 보기

즐겨 쓰는 AI에게 물어보세요

Gemini (복사 후 열기)

Gemini에서는 복사한 질문을 채팅창에 붙여 넣으세요. 아래에서도 복사할 수 있습니다.

질문 보기

고급 수학 연산 도구:

수학 풀이어떤 문제를 풀까요?

수학 풀이

예시
수식 예시 더 보기

예시를 선택하고 숫자를 수정한 다음 풀기를 누르세요. log는 밑 10, 자연로그는 ln입니다.

수와 약수

분수와 나눗셈

거듭제곱·근·로그

대수와 방정식

미적분

기하와 삼각법

인기·최신 도구:

근식 단순화 계산기분수 단순화공학용 계산기모두 보기 →
홈페이지 > 수학 관련 도구 > 고급 수학 연산 도구 > 불 대수 간소화기