Помогите решить задачу пожалуйста по инфе!!!

Ну наxуй

X→Z)∧((¬X→Y)∨Y∧W∨¬Z∨(X≡¬Y))
(X→Z) = ¬X∨Z (1)
(¬X→Y) = X∨Y (2,3)
Y∧W = WY (4)
(X≡¬Y) = ¬XY ∨ X¬Y (5,6)
(X∨Y)∨WY∨(¬Z)∨(¬XY ∨ X¬Y)=(W∨X∨Y∨¬Z) ∧ (¬W∨X∨Y∨¬Z) (7,8,9,10)
(¬X∨Z)∧((W∨X∨Y∨¬Z) ∧ (¬W∨X∨Y∨¬Z)) = XZ∨¬X¬Z∨¬XY (11)
--------------------------------
10/5/24