truth table AND(p, q)