I am having some trouble with reducing some propositional logic statements.
The first one is as follows:
$\neg(P \lor Q) \lor \neg (P \lor \neg Q)$.
I used deMorgan's law to change this to:
$(\neg P \land \neg Q) \lor (\neg P \land Q)$
Is there anything I can do to reduce this further?
The second one is:
$(P \lor Q) \leftrightarrow (\neg P \land Q)$
I have no idea where to even start on this one.