Шаг за шагом упрощения алгебраических выражений булевых
Минимизатор логических выражений обеспечивает пошаговое упрощение выражений логической алгебры. Доступны два режима:
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
Примечание: это приложение требует подключения к Интернету.