Given the statements:
p: He is short
q: He is fat
Then ~p ∧ q is:
He is short and fat.
He is tall and thin.
He is short and thin.
He is tall and fat.