ขั้นตอนโดยขั้นตอนเข้าใจง่ายของแบบบูลนิพจน์พีชคณิต
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
หมายเหตุ: แอพนี้ต้องใช้การเชื่อมต่ออินเทอร์เน็ต