Boolean Expression Minimizer

부울 식 최소화 기는 부울 대수 식을 단계별로 단순화합니다. 두 가지 모드를 사용할 수 있습니다.

1. Interactive Algebraic Minimizer :이 모드에서는 식을 단순화하도록 안내됩니다. 힌트가 제공되고 각 단계에서 유효성과 동등성에 대해식이 테스트됩니다.

2. 자동 대수 최소화 기 :이 모드에서는 모든 단계를 설명하여 표현이 자동으로 단순화됩니다.

부울 식은 접두사 형식으로 입력되어 NOT 연산자가 항을 진행하고 AND 연산자가 암시됩니다. A '+ BC. A부터 Z까지 최대 26 개의 변수가 지원됩니다. 다음 법칙 및 정리가 사용됩니다.

→ 상보성 : (i) X + X '= 1 (ii) XX'= 0

→ dem 등식 : (i) X + X = X (ii) XX = X

→ 인볼 루션 : X ''= X

→ 신원 : (i) X + 0 = X (ii) X1 = X

→ 널 요소 : (i) X + 1 = 1 (ii) X0 = 0

→ 흡수 : (i) X + XY = X (ii) X (X + Y) = X

→ 채택 : (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY

→ 단일성 : (i) XY + XY '= X (ii) (X + Y) (X + Y') = X

→ DeMorgan의 법칙 : (i) (X + Y) '= X'Y'(ii) (XY) '= X'+ Y '

→ 정류 : (i) X + Y = Y + X (ii) XY = YX

→ 연관성 : (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ

→ 분포 : (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)

→ 합의 : (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X'+ Z)

→ XOR 게이트 : X ^ Y = X'Y + XY '

→ XNOR 게이트 : X = Y ≡ X'Y '+ XY

참고 :이 응용 프로그램은 인터넷 연결이 필요합니다.