گام به گام ساده سازی عبارات جبر بولی
Minimizer Expression Boolean ، ساده سازی گام به گام عبارات جبری بولی را فراهم می کند. دو حالت موجود است:
1. Interactive Algebraic Minimizer: در این حالت شما برای ساده سازی یک عبارت هدایت می شوید. نکات ارائه شده و عبارات برای اعتبار و هم ارزی در هر مرحله آزمایش می شوند.
2. Minimizer Algebraic Automatic: در این حالت بیان به طور خودکار با تمام مراحل توضیح داده شده ساده می شود.
عبارات بولی در قالب infix وارد می شوند که به موجب آن عملگر NOT این اصطلاح را ادامه می دهد و عملگر AND به عنوان مثال دلالت دارد. A '+ قبل از میلاد. حداکثر 26 متغیر از A تا Z پشتیبانی می شوند. از قوانین و قضایای زیر استفاده می شود:
→ مکمل: (i) X + X '= 1 (ii) XX' = 0
→ قدرت توانمندی: (i) X + X = X (ii) XX = X
olution Involution: X '' = X
→ هویت: (i) X + 0 = X (ii) X1 = X
Ele عنصر تهی: (من) X + 1 = 1 (ii) X0 = 0
→ جذب: (i) X + XY = X (ii) X (X + Y) = X
→ پذیرش: (من) X + X'Y = X + Y (ii) X (X '+ Y) = XY
→ وحدت: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X
Law قوانین DeMorgan: (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 Gate: X ^ Y = X'Y + XY '
XNOR Gate: X = Y ≡ X'Y '+ XY
توجه: این برنامه به اتصال اینترنتی نیاز دارد.