Да, возможно расширить, а не упростить булево выражение.
Y = C + A + B'.D' + B.D
представляет собой, например, что эквивалентно выражению этого расширенного:
Y = C + A + B'.D' + B.D + B.D
Нет, это не возможно, чтобы восстановить первоначальный нон-упрощена форму логического выражения; эта информация не сохраняется во время шагов упрощения в самом упрощенном выражении. Это можно легко увидеть, так как
Y = C + A + B'.D' + B.D
мог бы начать, как
Y = C + A + B'.D' + B.D + B.D
, но так же легко могли бы начать, как
Y = C + A + B'.D' + B.D + B.D + B.D
или
Y = C + A + B'.D' + B.D + B.D + B.D + B.D
(Вы получаете идея.)
Несомненно, вы можете! Например, замените C на BC + B'C или замените A на ABD + ABD '+ AB'. Но это, похоже, не имеет ничего общего с StackOverflow – CiaPan
Существует бесконечное число булевых выражений, которые сводятся к этому. Кого вы хотите найти? – jwodder
Нет такой вещи, как необратимое булево тождество. Конечно, вы можете использовать булеву алгебру, чтобы сделать выражения более сложными. –