Solution 3.1.2.1.

\(P\) \(Q\) \((P \vee Q) \imp (P \wedge Q)\)
T T T
T F F
F T F
F F T
in-context