Softonic

불 대수 간소화 도구

단계 1 / 3
변수에는 A, B, C...를 사용하세요. 연산자: & (AND), | (OR), ! (NOT), ^ (XOR), ( )
다음

A & B | (!A & B) 같은 불리언 식을 입력하면 이 도구는 변수의 모든 조합에 대해 식을 평가하고, 변수별 열과 마지막 출력 열로 이루어진 완전한 진리표를 반환합니다. 변수는 최대 5개까지, 연산자는 &(AND), |(OR), !(NOT), ^(XOR)를 지원합니다. 손으로 한 간소화를 검증하거나 작성 중인 로직을 디버깅하는 데 활용하세요.

진리표가 만들어지는 방식

  1. 1

    식 입력

    변수는 대문자 한 글자씩 사용하고 &(AND), |(OR), !(NOT), ^(XOR) 기호와 괄호로 식을 입력합니다. 예: `A & B | (!A & B)`

  2. 2

    변수 검출

    대문자 한 글자가 각각 변수로 계산되며 최대 5개입니다. 변수마다 열이 하나씩 생기므로 변수가 5개면 32행이 됩니다.

  3. 3

    모든 조합 평가

    식은 행마다 한 번씩, 모든 변수가 0인 조합부터 모두 1인 조합까지 평가됩니다. 우선순위는 NOT, 그다음 XOR, AND, OR 순이며 괄호가 가장 우선합니다.

  4. 4

    출력 열 확인

    마지막 열에 그 행의 식 전체 값이 표시됩니다. 직접 만든 표나 간소화한 형태와 비교해 일치하는지 확인하세요.

연산자와 우선순위

연산 기호 예
AND & A & B
OR | A | B
NOT ! !A
XOR ^ A ^ B
괄호 ( ) (A & B) | C

식은 가장 강하게 결합하는 연산자부터 가장 약한 순서로 평가됩니다. NOT, XOR, AND, OR 순이며 괄호가 항상 우선합니다. 위의 네 기호만 사용하세요. ·나 + 같은 기호는 인식되지 않고 조용히 잘못된 표를 만듭니다.

예시

입력: A & B | (!A & B)

진리표:

A B 출력
0 0 0
0 1 1
1 0 0
1 1 1

출력 열은 단독 B와 같습니다. 이런 항등식은 몇 초면 확인할 수 있습니다. 손으로 간소화한 뒤 열을 비교하면 됩니다.

완전한 진리표가 유용한 이유

  • 간소화 검증: 식을 손으로 간소화한 뒤, 간소화한 형태의 출력 열이 같은지 확인합니다.
  • 로직 디버깅: 식이 기대와 어긋나는 행을 찾아냅니다.
  • 연산자 학습: NOT, XOR, AND, OR가 어떻게 결합하는지 행마다 계산하지 않고 살펴볼 수 있습니다.

제한

  • 변수는 최대 5개: 표는 모든 조합, 최대 32행을 보여줍니다. 5개를 넘으면 표가 표시되지 않으므로 식을 더 작은 부분으로 나누세요.
  • 대문자 한 글자만: 변수로 인정되는 것은 A부터 Z까지의 대문자뿐이며, 소문자와 다른 문자는 무시됩니다.

자주 묻는 질문

아니요. 식을 평가하고 변수의 모든 조합(최대 5개)에 대한 완전한 진리표를 만듭니다. 직접 한 간소화를 검증할 때 사용하세요. 간소화한 형태의 출력 열이 같다면 두 식은 동치입니다.

최대 5개이며, 그러면 32행까지 나옵니다. 변수는 A, B, C처럼 대문자 한 글자입니다. 더 많은 변수가 필요하면 식을 작은 부분으로 나누세요.

&(AND), |(OR), 피연산자 앞에 붙이는 !(NOT), ^(XOR), 괄호입니다. 우선순위는 강한 순서대로 NOT, XOR, AND, OR입니다. ·나 + 같은 기호는 지원되지 않으며 조용히 잘못된 표가 나올 수 있습니다.

아니요. 이 도구는 식만 입력받습니다. 함수가 진리표로 정의되어 있다면 그 함수를 만드는 식을 입력하고 생성된 표와 비교하세요.

관련 도구

보색 찾기

어떤 입력에 대해서도 보색을 찾습니다. HSL 반대 색, 분할 보색 쌍, 그리고 접근성 있는 조합 제안을 반환합니다.

Webpack 설정 생성기

순수 JavaScript, React, Vue용 webpack 5 webpack.config.js를 만드세요. TypeScript, Babel, CSS 또는 Sass, 이미지, HtmlWebpackPlugin, 개발 서버, npm install 명령까지 함께 제공합니다.

텍스트 파일 인코딩 변환기

깨진 문자를 고치기 위해 텍스트를 UTF-8, UTF-16, Latin-1, Windows-1252 등 여러 인코딩 사이에서 변환하세요.

XML 포매터

일관된 들여쓰기로 XML 문서를 정렬 출력하고, 정확한 줄 번호로 적격성 오류를 잡아냅니다.

색상 혼합기

두 HEX 색상을 2-20개의 균등한 색상 견본으로 섞습니다. 양 끝 색상을 포함해 각 중간 색상을 대문자 HEX 코드로 확인하세요.

Protocol Buffers 디코더

hex, Base64, Base64URL, 텍스트 또는 파일의 Protobuf 와이어 형식 바이트를 브라우저에서 디코딩하고 정확한 필드 후보를 확인한 뒤 비공개 보고서로 내보냅니다.

이 도구는 다른 언어로도 제공됩니다