I have a solution to a logic problem involving propositions that I don't undersand how a particular step was carried out.The professor called the step I'm having trouble with reverse distribution.
Prove: $(p \lor q ) \land\lnot (p \lor \lnot q)\leftrightarrow p$
$(p \lor q ) \land (p \lor \lnot q) $
$p\lor(q \land \lnot q)$ This is the step I don't understand.
$p\lor FALSE $
p
The second step is throwing me for a loop. What am I not seeing?