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

내 도구함

자동 모드

저장된 도구가 없습니다.

프리미엄 버전으로 업그레이드하기
관련 도구
대수 표현식 단순화 도구진리표 생성기카르노 맵 (K-Map) 솔버논리 게이트 시뮬레이터낮잠 계산기
홈페이지 > 수학 관련 도구 > 고급 수학 연산 도구
 

불 대수 간소화기

대수 법칙, Quine-McCluskey, 카르노 맵으로 불 대수식을 단순화합니다. AND, OR, NOT, XOR, NAND, NOR로 이루어진 어떤 식이든 입력하면 최소 SOP/POS 형태, 진리표, 카르노 맵, 게이트 도면, NAND만으로 구성한 등가식을 받을 수 있습니다.

무료로 사용가입 필요 없음즉시 결과 확인
불 대수 간소화기지금 무료로 사용하기 ▼
예제:
삽입:
허용되는 구문
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR

불 대수 간소화기 위젯 삽입

불 대수 간소화기 정보

불 대수 간소화기는 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^, ⊕, 단어 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을 가장 큰 직사각형으로 덮는 것"입니다.
주 함의항이란 무엇입니까?
주 함의항은 최소항 그룹을 포함하며 더 큰 그룹을 형성하기 위해 다른 인접 그룹과 결합될 수 없는 곱 항입니다. 필수 주 함의항은 적어도 하나의 특정 최소항을 포함하는 유일한 주 함의항으로, 모든 최소 커버에 반드시 포함되어야 합니다. 비필수 주 함의항은 선택 사항이며 남은 최소항을 덮기 위해 필요한 경우에만 포함됩니다.
간소화 도구는 어떤 입력 구문을 허용합니까?
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

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

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

고급 수학 연산 도구:

인기·최신 도구:

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