Я хочу упростить булевское выражение.
Выражение это что-то вроде этогоКак упростить булевое выражение с помощью XOR?
X1 xor (X2 || X3 && X4 || x5)
Как упростить это выражение, используя правила булевой алгебры.
Кроме того, я хочу преобразовать приведенное выше булево выражение в форму CNF, поэтому как это сделать.
Если вы считаете, что A XOR B равнозначно (A AND ~B) OR (~A AND B), тогда остальное должно быть легко.
: -Я не понимаю, что будет упрощением в приведенном выше случае bcoz в моем случае A является X1 и B (X2 || X3 && X4 || x5), так как это будет сделано, пожалуйста, пожалуйста подробно объясните пример. –
Ваши 'A'is' X1' и '' '' '' '(X2 || X3 && X4 || x5)', можете ли вы попытаться решить эту проблему? Просто подключите его к формуле @PaulR предоставил, упростите, и вам хорошо пойти – Draken
@Draken: Я искренне надеюсь, что OP еще не борется с этим через 4 года после того, как он задал вопрос! ;-) –
Написать a xor b как:
a != b
или:
!(!a || b) && !(a || !b)
@PaulR: - это было предположить, чтобы быть X3 && X4 || x5) –