Упростить логическое выражение: X + X'Y'Z

Question

Я знаю, что следующее равенство: X + X'Y'Z = X + Y'Z Как можно упростить левую сторону, чтобы получить правую сторону, используя базовые c булевы тождества? Заранее спасибо.

Answer 1

Expression                            Justification
---------------------------------     -------------------------
X + X'Y'Z                             initial expression
(XY'Z + X(Y'Z)') + X'Y'Z              r  = rs + rs'
(XY'Z + XY'Z + X(Y'Z)') + X'Y'Z       r = r + r
(XY'Z + X(Y'Z)' + XY'Z) + X'Y'Z       r + s = s + r
(XY'Z + X(Y'Z)') + (XY'Z + X'Y'Z)     (r + s) + t = r + (s + t)
X(Y'Z + (Y'Z)') + (Y'Z)(X + X')       rs + rt = r(s + t)
X(1) + (Y'Z)(1)                       r + r' = 1
X + Y'Z                               r(1) = r

Answer 2

Самый быстрый способ доказать это выражение - добавить лишний термин, который отбрасывает X '

X + X'Y'Z = X(1+Y'Z) + X'Y'Z
          = X + XY'Z + X'Y'Z
          = X + (X+X')Y'Z
          = X + Y'Z