Упрощение логических выражений Здравствуйте, пытаюсь упростить логическое выражение, получилось это. Подскажите, можно ли упростить дальше и вообще правильно ли сделал? (x↔z)→(x∧¬y)=(x∨¬z)∧(¬x∧z)→(x∧¬y)=¬((x∨¬z)∧(¬x∧z))∨(x∧¬y)=(¬(x∨¬z))∨(¬(¬x∧z))∨(x∧¬y)=(¬x∧z)∨(x∨¬z)∨(x∧¬y)
Да, ваше упрощение верно. Однако, можно еще упростить это выражение. Преобразуем его дальше: (¬x∧z)∨(x∨¬z)∨(x∧¬y)=(¬x∨x∨¬z)∧(z∨x∨¬z)∧(x∧¬y)=(1∨¬z)∧(z∨x∨¬z)∧(x∧¬y)=1∧(z∨x∨¬z)∧(x∧¬y)=(z∨x)∧(x∧¬y)=(x∧¬y)∨(z∧x)
Да, ваше упрощение верно. Однако, можно еще упростить это выражение. Преобразуем его дальше:
(¬x∧z)∨(x∨¬z)∨(x∧¬y)=(¬x∨x∨¬z)∧(z∨x∨¬z)∧(x∧¬y)=(1∨¬z)∧(z∨x∨¬z)∧(x∧¬y)=1∧(z∨x∨¬z)∧(x∧¬y)=(z∨x)∧(x∧¬y)=(x∧¬y)∨(z∧x)
Итак, упрощенное логическое выражение: (x∧¬y)∨(z∧x)