Ре­ше­ние. При­ме­ним пре­об­ра­зо­ва­ние им­пли­ка­ции:

(X ∧ Y ∨ Z) → (Z ∨ P) = 0 =>

¬(X ∧ Y ∨ Z) ∨ (Z ∨ P) = 0;

(¬X ∨ ¬Y ∧ ¬Z) ∨ (Z ∨ P) = 0;

Ло­ги­че­ское ИЛИ ложно толь­ко в одном слу­чае: когда оба вы­ра­же­ния ложны.

Сле­до­ва­тель­но,

(Z ∨ P) = 0 => Z = 0, P = 0.

¬X ∨ ¬Y ∧ ¬Z = 0 => ¬X ∨ ¬Y ∧ 1 = 0 =>

¬X ∨ ¬Y = 0 => X = 1; Y = 1.

Сле­до­ва­тель­но, су­ще­ству­ет толь­ко одно ре­ше­ние урав­не­ния.