How to provr with a truth table that

"Neither A nor B is lying"

p="A is lying"

q="B is lying".
~p ∧ ~q = "A is not lying" and "B is not lying"
≡ "neither A nor B is lying"

Make a table for p,q, ~p, ~q, ~p∧~q
p q ~p ~q ~p∧~q
T T F F F
T F F T F
F T T F F
F F T T T

The first two columns together with the last column represents the truth table for ~p ∧ ~q.