Boolean Expression Minimizer

布尔表达式最小化器提供布尔代数表达式的逐步简化。有两种模式可用：

1.交互式代数最小化器：在此模式下，系统会指导您简化表达式。提供提示，并在每个步骤中测试表达式的有效性和等效性。

2.自动代数最小化器：在此模式下，表达式将自动简化，并说明所有步骤。

布尔表达式以infix格式输入，NOT运算符继续输入该术语，而AND运算符则是隐含的。 A'+ BC。从A到Z最多支持26个变量。使用以下定律和定理：

→互补性：（i）X + X'= 1（ii）XX'= 0

→幂等：（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

→Adsoption：（i）X + X'Y = X + Y（ii）X（X'+ Y）= XY

→单位：（i）XY + XY'= X（ii）（X + Y）（X + Y'）= X

→摩根定律：（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

注意：此应用程序需要Internet连接。