Discrete Math if p then q, then you should check your alphabet :D

logic questions. I need to prove congruence with each law or known equivalence in steps.

I) ¬((pvq) -> ¬q) = q

II) a -> b = ¬ avb

*v is an or
and = should be a congruence sign.
Asked Jan 22, 2014
Edited Jan 22, 2014

TIP: If it's not your answer to this question, please click "Leave a Comment" button under the question to communicate with the question owner.