without using a truth table prove the following:
(j--->a) and (s--->h) and (j or s) ---> (a--->j) or (h--->s)
I would suggest proceeding by contrapositive or contradiction. Make assumptions about the "then a-then-j or h-then-s", and see where this leads.without using a truth table prove the following:
(j--->a) and (s--->h) and (j or s) ---> (a--->j) or (h--->s)