Boolean Expression Minimizer

Bionlean Expression Minimizer จัดทำนิพจน์พีชคณิตแบบบูลทีละขั้นตอน มีสองโหมด:

1. Interactive Algebraic Minimizer: ในโหมดนี้คุณจะได้รับคำแนะนำเพื่อทำให้การแสดงออกง่ายขึ้น มีการให้คำแนะนำและนิพจน์ได้รับการทดสอบความถูกต้องและความเท่าเทียมในแต่ละขั้นตอน

2. Automatic Algebraic Minimizer: ในโหมดนี้การแสดงออกจะลดความซับซ้อนลงโดยอัตโนมัติพร้อมอธิบายขั้นตอนทั้งหมด

นิพจน์บูลีนจะถูกป้อนในรูปแบบของ infix โดยที่ตัวดำเนินการ NOT จะใช้คำศัพท์นั้นและตัวดำเนินการ AND จะถูกบอกเป็นนัยเช่น A '+ BC รองรับตัวแปรได้มากถึง 26 ตัวแปรจาก A ถึง Z มีการใช้กฎหมายและทฤษฎีดังต่อไปนี้:

→ส่วนประกอบ: (i) X + X '= 1 (ii) XX' = 0

→ Idempotency: (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

→ตัวเลือกโฆษณา: (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 '

→ Commutativity: (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

หมายเหตุ: แอพนี้ต้องใช้การเชื่อมต่ออินเทอร์เน็ต