Simplify a logic expression

127 Views Asked by At

I'm studying to my exam and I have some doubts.

The expression: $$ \lnot \lnot P \land \lnot(\lnot\lnot Q \lor\lnot P) $$

The result: $$ P \land \lnot Q $$

The objective is to simplify.

I reach to $$ P \land \lnot Q \land P $$ and then I don't know what to do.

Could I use the idempotence property?

1

There are 1 best solutions below

1
On BEST ANSWER

Hint: commute and associate: $P\wedge \neg Q\wedge P = (P\wedge P)\wedge \neg Q$.

Now, what is $(P\wedge P) = \underline{\qquad}$?