부울 표현식 단순화자

이 도구를 직접 사용하세요. 리디렉션이나 가입이 필요하지 않습니다.

불리언 표현식 입력

AND  ·  * OR  +  | NOT  '  !
예:

단순화된 표현

여기에 결과가 표시됩니다.

진리표

여기에 진리표가 표시됩니다.

게이트 네트워크

게이트 다이어그램이 여기에 표시됩니다.

부울 표현식 단순화의 작동 방식

부울 대수 단순화는 일련의 대수 법칙을 사용하여 복잡한 논리 표현식을 최소한의 등가 형식으로 줄입니다. 기본 게이트부터 복잡한 프로세서까지 모든 디지털 회로는 부울 논리로 작동하며 단순화를 통해 실제 하드웨어의 게이트 수, 전력 소비 및 전파 지연이 직접적으로 줄어듭니다.

제품 합계(SOP)

AND 용어가 함께 OR로 연결되는 표준 형식입니다. 모든 부울 함수는 SOP로 표현될 수 있으며 2레벨 AND-OR 게이트 네트워크에 직접 매핑됩니다.

프라임 임플리컨트

주요 함축어는 더 간단한 용어를 생성하기 위해 다른 용어와 결합될 수 없는 곱 용어입니다. Quine-McCluskey 방법은 모든 주요 함축을 체계적으로 찾습니다.

필수 프라임 임플리컨트

필수 프라임 암시자는 다른 프라임 암시자가 다루지 않는 최소 하나의 최소항을 다룹니다. 최소 커버에는 모든 필수 주임플리컨트가 포함되어야 합니다.

드 모르간(De Morgan)의 법칙과 부울 항등식

이러한 기본 ID를 사용하면 부울 표현식을 변환하고 단순화할 수 있습니다. 단순화 프로그램은 이를 자동으로 적용합니다.

신원 이름 표현 설명
드 모건 1(AB)' = A' + B'NAND는 보완재의 OR과 같습니다.
드 모건 2(A+B)' = A'B'NOR은 보완의 AND와 같습니다.
흡수A + AB = A중복된 제품 조건을 제거합니다.
합의AB + A'C + BC = AB + A'C중복된 합의 조건을 제거합니다.
보완A + A' = 1   |   AA' = 0변수 또는 그 보수는 항상 1입니다.
멱등성A + A = A   |   AA = A반복되는 용어는 단일 용어로 축소됩니다.

Quine-McCluskey 알고리즘 단계별

Quine-McCluskey 방법은 부울 함수의 최소 SOP 형식을 체계적으로 찾는 표 형식 기술입니다. K-map과 달리 다양한 변수에 대해 작동하며 컴퓨터 친화적입니다.

  1. 1
    모든 최소항을 나열합니다. 출력이 1인 각 행을 이진 표현으로 변환하고 1비트 수로 그룹화합니다.
  2. 2
    인접한 그룹을 병합합니다. 정확히 하나의 비트 위치가 다른 쌍을 결합하고 해당 비트를 대시(상관 없음)로 바꿉니다. 더 이상 병합이 불가능할 때까지 반복합니다.
  3. 3
    주요 함의자를 식별합니다. 더 이상 병합할 수 없는 용어는 주요 함축어입니다. 이들을 모두 주요 함축 차트로 수집합니다.
  4. 4
    필수 주임플라이언트를 선택합니다. 정확히 하나의 주 함축이 포함된 모든 최소항을 찾으세요. 해당 함축이 필수적입니다. 최종 표현에는 모든 필수 사항을 포함합니다.
  5. 5
    남은 최소텀을 다룹니다. 필수 사항이 아직 다루어지지 않은 최소항의 경우 총 용어 수를 최소화하기 위해 탐욕스럽게 추가 주요 함축자를 선택합니다.

관련 도구

로직, Arduino, PCB 및 변환 중심 다이어그램 설정으로 워크플로우를 계속하려면 다음 전용 도구 페이지를 살펴보세요.

Logic Gate Diagram Tool

Build clear gate-level logic diagrams and validate signal flow.

도구 열기

Arduino Circuit Maker

Document board pin connections, modules, and wiring paths quickly.

도구 열기

PCB Schematic Tool

Draft production-ready schematic structures before PCB layout.

도구 열기

Truth Table To Logic Circuit

Generate gate-level logic from truth-table behavior for quick validation and learning.

도구 열기

자주 묻는 질문

Boolean Expression Simplifier는 어떤 표기법을 허용합니까?
이 도구는 여러 표기법을 동시에 허용합니다. OR, '·' 또는 '*'에는 '+'를 사용하거나 AND에는 인접만 사용할 수 있으며 아포스트로피(A') 또는 '!' NOT을 위해. 그룹화를 위한 괄호가 완벽하게 지원됩니다.
어떤 단순화 알고리즘이 사용됩니까?
이 도구는 주요 함의자를 찾고 필수 함의자를 선택하는 데 최적인 것으로 입증된 방법인 Quine-McCluskey 알고리즘을 사용합니다. 최소한의 SOP 형식을 보장합니다.
얼마나 많은 변수가 지원됩니까?
최대 5개의 변수(A~E)가 지원되어 최대 32행의 진리표를 생성합니다. 대부분의 실제 디지털 논리 문제에서는 이것으로 충분합니다.
단순화된 표현식의 출력 형식은 무엇입니까?
결과는 아포스트로피 표기법(예: A'B + AB')을 사용하여 표준 SOP(Sum-of-Products) 형식으로 표시됩니다. 진리표와 게이트 네트워크 다이어그램도 자동으로 생성됩니다.
Karnaugh 지도 문제에 이것을 사용할 수 있습니까?
그렇습니다. Quine-McCluskey 알고리즘은 K-맵을 해결하는 것과 동일하지만 K-맵이 실용적이지 않은 4개 이상의 변수에 대해 작동합니다.
도구는 항상 true 또는 항상 false인 표현식을 처리합니까?
그렇습니다. 동어반복(항상 1)과 모순(항상 0)이 자동으로 감지되어 일정한 출력으로 표시됩니다.