Build the truth table for P AND (NOT Q) and identify in which row(s) the expression is true.
Think about your answer, then reveal below.
Model answer: P=T, Q=T → NOT Q=F → P AND F = F. P=T, Q=F → NOT Q=T → P AND T = T. P=F, Q=T → NOT Q=F → F AND F = F. P=F, Q=F → NOT Q=T → F AND T = F. The expression is true only when P is true and Q is false (row 2).
Building the table step by step: first compute NOT Q for each row, then compute P AND (NOT Q). The expression P ∧ ¬Q is true exactly when P is true and Q is false. Interestingly, this is exactly the condition that makes P → Q false — so P ∧ ¬Q is the negation of P → Q.