Question 484428
First note that the function is "=" (it's true when P & Q same, false otherwise)
The 2nd and 3rd rows remind one of the difference of ^ and V,
So (P V Q) -> (P ^ Q) is a good start.
Check it out (should work).