Logichard
0:00.0

The expression (PlorQ)landnegP(P \\lor Q) \\land \\neg P simplifies to: