(1 ^ p') v (0 ^ p) v (p ^ 1)