Răspuns:
¬X·¬Y + X·Z
Rezolvare:
(X·Z + ¬Y)·(¬X + Z+Y) ⇔
⇔ ¬X·(X·Z + ¬Y) + Z·(X·Z + ¬Y) + Y·(X·Z + ¬Y)
⇔ (¬X·X·Z + ¬X¬Y) + X·Z + Z·¬Y + X·Y·Z + Y·¬Y
⇔ F + ¬X¬Y + X·Z + Z·¬Y + X·Y·Z + F
⇔ ¬X·¬Y + X·Z + Z·¬Y + X·Y·Z
⇔ ¬X·¬Y + X·Z·(T + Y) + Z·¬Y
⇔ ¬X·¬Y + X·Z·T + Z·¬Y
⇔ ¬X·¬Y + X·Z + Z·¬Y
⇔ ¬X·¬Y + X·Z + T·Z·¬Y
⇔ ¬X·¬Y + X·Z + (¬X+X)·Z·¬Y
⇔ ¬X·¬Y + X·Z + ¬X·Z·¬Y + X·Z·¬Y
⇔ ¬X·¬Y·(T + Z) + X·Z·(T + ¬Y)
⇔ ¬X·¬Y + X·Z