
logic notation
Hello,
I'm working on this assignment that is due in 2 hours, and I'm not quite sure about these two questions that I have yet to complete before I can submit this assignment.
1. Give the reasons for each of the steps provided to validate the argument
[(P → Q) /\ (¬R \/ S) /\ (P \/ R)] → (¬Q → S)
Step:
a) ¬(¬Q → S)
b) ¬Q /\ ¬S
c) ¬S
d) ¬R \/ S
e) ¬R
f) P → Q
g) ¬Q
h) ¬P
i) P \/ R
j) R
k) ¬R /\ R
l) therefore ¬Q → S
2. Find the value of the Boolean expression
(wz + yx' + wy')(y'x + zx') + ( (w + y)(x' + y) )'
if
a) w = x = 0 and y = z = 1
b) w = y = 1 and x = z = 0
I shall review this material after I submit the assignment and will learn and understand it better. Right now, I just really need to get this handed in. Any help would be much appreciated.
Thank you kindly!

Hello, spider_dude!
Quote:
1. Give the reasons for each of the steps provided to validate the argument