c logic
November 30th, 2009
No comments
c logic
How do you call those math/logic problems where A =B, B = C and C = A?
Do you have any examples?
It’s called transitivity
example:
{x =y and y =z } —-> x =z
C Logic vs Bent Final Round
Categories: Programming