truth table \neg p or \neg q