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連接。