Use APKPure App
Get Boolean Expression Minimizer old version APK for Android
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.
Przesłane przez
Sôufi Añæ HM
Wymaga Androida
Android 4.1+
Kategoria
Raport
Last updated on Sep 27, 2023
Minor bug fixes and improvements. Install or update to the newest version to check it out!
Boolean Expression Minimizer
3.0.5 by Kappsmart
Sep 27, 2023