I am reading a section on Boolean algebra in a text book and trying to understand a solution to simplifying problem they have presented.the expression
$$(¬p ∧ ¬q ∨ p)$$
is simplified to $$(¬q ∧ p).$$
I have not been able to work out what law was used t o arive at this. Thanks in advance. PS I am very new to Boolean algebra in case you couldn't tell.