Question

Construct a truth table for
(p ^ ~q) <-->q
^ is meant to be a conjunction symbol

Answer 1

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