Krok po kroku uproszczenia wyrażeń logicznych algebry
Boolean Expression Minimizer zapewnia krok po kroku uproszczenie wyrażeń algebry boolowskiej. Dostępne są dwa tryby:
1. Interaktywny minimalizator algebraiczny: W tym trybie prowadzony jest w celu uproszczenia wyrażenia. Podawane są podpowiedzi, a wyrażenia są testowane pod kątem ważności i równoważności na każdym etapie.
2. Automatyczny minimalizator algebraiczny: W tym trybie wyrażenie jest automatycznie upraszczane z objaśnieniem wszystkich kroków.
Wyrażenia logiczne są wprowadzane w formacie infix, w którym operator NOT kontynuuje termin, a operator AND implikuje np. A '+ BC. Obsługiwanych jest do 26 zmiennych od A do Z. Stosowane są następujące prawa i twierdzenia:
→ Komplementarność: (i) X + X '= 1 (ii) XX' = 0
→ Idempotencja: (i) X + X = X (ii) XX = X
→ Inwolucja: X '' = X
→ Tożsamość: (i) X + 0 = X (ii) X1 = X
→ Element zerowy: (i) X + 1 = 1 (ii) X0 = 0
→ Absorpcja: (i) X + XY = X (ii) X (X + Y) = X
→ Opcja przyjęcia: (i) X + X'Y = X + Y (ii) X (X '+ Y) = XY
→ Jedność: (i) XY + XY '= X (ii) (X + Y) (X + Y') = X
→ Prawa DeMorgan: (i) (X + Y) '= X'Y' (ii) (XY) '= X' + Y '
→ Komutatywność: (i) X + Y = Y + X (ii) XY = YX
→ Asocjatywność: (i) X + (Y + Z) = X + Y + Z (ii) X (YZ) = XYZ
→ Dystrybucja: (i) X (Y + Z) = XY + XZ (ii) X + YZ = (X + Y) (X + Z)
→ Konsensus: (i) XY + X'Z + YZ = XY + X'Z (ii) (X + Y) (X '+ Z) (Y + Z) = (X + Y) (X' + Z)
→ Bramka XOR: X ^ Y = X'Y + XY '
→ Bramka XNOR: X = Y ≡ X'Y '+ XY
Uwaga: Ta aplikacja wymaga połączenia z Internetem.