Simplifying P AND (P OR NOT Q) How can I simplify this? I've tried invoking Demorgan's Law and I get
P AND (NOT (NOT P AND Q)) but I can't seem to simplify this further.
The answer is P, but how can I prove this?

You can think of it as (P AND P) OR (P AND NOT Q).  
This is true if and only if P is true.  If P is false, it makes both arguments of the 'OR' false.
