help with truth table (big one) at least to me

Question

(X*Y) v (~Y*Z)

Z v ~X

~Z

therefore Y v ~X

Answer 1

No, we'll do it analytically first....

Since ~Z and Z v ~X, then ~X must hold.

Either X*Y or ~Y*Z must hold .

But ~X so X*Y is False.

So ~Y * Z must hold.

However, ~Z is given.

So ~(~Y) must hold, which forces Y to hold.

Therefore, ~X or Y = ~X v Y

Note that in the truth table H1 the first given is false. So logical AND with all

other given is automatically false.

However, H1 --> (Y v ~X) is a tautology, which completes the proof.

The spreadsheet containing the truth table is truth table sherri b