この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
注:このアプリにはインターネット接続が必要です。