Alternate solution for February 2018, 2a

Question

Given boolean variables p0, p1, p2, and p3, each pair of the form (pi,pi+1) (i ∈ {0, 1, 2}) is called an adjacent pair. Construct a propositional logic formula φ that holds if and only if no adjacent pair consists of two variables that are evaluated to true.

can (p0 ⊕ p1) & (p1 ⊕ p2)  & (p2 ⊕ p3) be an alternate solution for above question?

Answer 1

I think that this is not right, since your formulation demands that one of the two adjacent variables has to be true while the problem statement allows that both may be false.