简单归纳求证逻辑运算

已知，

(X V Y) ----> Z

(~Y ^ Z) ----> W

~X ----> Z

Y. ----> ~Z

求证 W为真