How would I go about proving this without a truth table?
$[(p \lor q) \implies r ] \implies [ \neg r \implies (\neg p \land \neg q)]$
How would I go about proving this without a truth table?
$[(p \lor q) \implies r ] \implies [ \neg r \implies (\neg p \land \neg q)]$