Используйте приложение APKPure
Историческую версию Boolean Expression Minimizer можно получить на Android
Шаг за шагом упрощения алгебраических выражений булевых
Минимизатор логических выражений обеспечивает пошаговое упрощение выражений логической алгебры. Доступны два режима:
1. Интерактивный алгебраический минимизатор. В этом режиме вы должны упростить выражение. Подсказки и выражения проверяются на достоверность и эквивалентность на каждом этапе.
2. Автоматический алгебраический минимизатор: в этом режиме выражение автоматически упрощается со всеми объясненными шагами.
Логические выражения вводятся в инфиксном формате, в результате чего оператор NOT обрабатывает термин, а подразумевается оператор AND, например, A '+ BC. Поддерживается до 26 переменных от А до Я. Используются следующие законы и теоремы:
→ Комплементарность: (i) X + X '= 1 (ii) XX' = 0
→ Идемпотентность: (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
→ Законы Деморгана: (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: X ^ Y = X'Y + XY '
→ Ворота XNOR: X = Y ≡ X'Y '+ XY
Примечание: это приложение требует подключения к Интернету.
Загрузил
Sôufi Añæ HM
Требуемая версия Android
Android 4.1+
Категория
Жаловаться
2.9 MB 18/09/2023
2.9 MB 18/09/2023
3.0 MB 30/04/2023
3.0 MB 30/04/2023
3.0 MB 12/04/2023
3.0 MB 12/04/2023
Используйте приложение APKPure
Историческую версию Boolean Expression Minimizer можно получить на Android
Используйте приложение APKPure
Историческую версию Boolean Expression Minimizer можно получить на Android