Construct a truth table for (p ^ q) ↔ ~p

p. q. p ^ q ~p (p ^ q) <-> ~p

T. T. T. F. F
T. F. F. F. T
F. T. F. T. F
F. F. F. T. F