Solve with First-Order-logic (Predicates Logic)

Consider the new ternary operator define for the next axiom: (x, y, z) = (x = (y = z))^(-x=(-y = z)) Demonstrate (without using truth tables) or refute the following theorem. (x, y, y)=(x,pVq, -p=9) Consider the new ternary operator define for the next axiom: (x, y, z) = (x = (y = z))^(-x=(-y = z)) Demonstrate (without using truth tables) or refute the following theorem. (x, y, y)=(x,pVq, -p=9)