خطوة بخطوة تبسيط التعابير الجبر منطقية
يوفر Boolean Expression Minimizer تبسيطًا تدريجيًا لتعبيرات الجبر Boolean. وضعان متاحان:
1. مصغر جبري تفاعلي: في هذا الوضع ، يتم إرشادك لتبسيط تعبير. يتم توفير تلميحات ويتم اختبار التعبيرات للتأكد من صحتها والتكافؤ في كل خطوة.
2. مصغر جبري تلقائي: في هذا الوضع ، يتم تبسيط التعبير تلقائيًا مع شرح جميع الخطوات.
يتم إدخال التعبيرات المنطقية بتنسيق infix ، حيث يواصل العامل NOT المصطلح ويتم تضمين العامل AND على سبيل المثال أ + ق. يتم دعم ما يصل إلى 26 متغيرات من الألف إلى الياء. يتم استخدام القوانين والنظريات التالية:
→ التكامل: (i) X + X '= 1 (ii) XX' = 0
→ الشدة: (1) X + X = X (ii) XX = X
→ Involution: X '' = X
→ الهوية: (i) X + 0 = X (ii) X1 = X
→ Null Element: (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
→ قوانين DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '
→ التبادلية: (i) X + Y = Y + X (ii) XY = YX
← Associativity: (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 Gate: X = Y ≡ X'Y '+ XY
ملاحظة: يتطلب هذا التطبيق اتصال بالإنترنت.