Boolean Expression Minimizer

ブール式ミニマイザーは、ブール代数式の段階的な簡略化を提供します。次の2つのモードを使用できます。

1. Interactive Algebraic Minimizer：このモードでは、式を単純化するようにガイドされます。各ステップでヒントが提供され、式の妥当性と等価性がテストされます。

2.自動代数ミニマイザー：このモードでは、すべての手順を説明した式が自動的に簡略化されます。

ブール式は中置形式で入力されます。これにより、NOT演算子が用語を処理し、AND演算子が暗黙的に指定されます。 A '+ BC。 AからZまで、最大26個の変数がサポートされています。次の法則と定理が使用されます。

→相補性：（i）X + X '= 1（ii）XX' = 0

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

注：このアプリにはインターネット接続が必要です。