p1, p2 и p3 сообщают только, если a == b, b == c и c == a соответственно.
Это означает, что вы не можете действительно сделать вывод из p1, p2, p3 в a, b, c.
Но если вы знаете значение, скажем, a, то, зная p1, вы можете вычислить b, а зная p3, вы можете вычислить c.