I have to program (C++) and find the true value of the following. I am uncertian as to what it exactly means.
AxAy(C(x, y) -> ((Aw(C(x, w) -> w = y) ^ (Az(C(z, y) -> z = x))
note that the -> is an implication, C(x,y) is a function/ Predicates, ^ is the and function, A is the universal. if it helps, C(x,y) is the predicate, x calls y
I boiled it down using the Implication definition and arrived at -C(x,y)
where - is the negation.
is this correct? is the whole long original statment a complicated way of saying " no one made any calls" ?