Construct a truth table for p<-->(q V not p)