Round 3 Question 5 Sample Case?

[xthexder]

I didn't participate in this round, but going over the questions after, I noticed this in the sample test case:

((a ^ b) v (c ^ ~c)) is supposedly a tautology?
I'm confused because as I see it, it is not a tautology, but no-one else seems to have said anything.
What am I missing?

((a ^ b) v (c ^ ~c))
= ((a and b) or (c and ~c))
= ((a and b) or (false))
= (a and b)

if a or b == false, then it's false.

Don't tell me c is some tri-state variable...

-xthexder

[Tony]

We actually caught that mistake during the contest; there was a notice put up. The sample was supposed to read

code:

((a ^ b) v ~(c ^ ~c))

Not sure why the archived version of the sample is reverted to the wrong copy...