(p q) ^ p q