Programming C, C++, Java, PHP, Ruby, Turing, VB
Computer Science Canada 
Programming C, C++, Java, PHP, Ruby, Turing, VB  

Username:   Password: 
 RegisterRegister   
 Round 3 Question 5 Sample Case?
Index -> CompSci.ca, Contests -> DWITE
View previous topic Printable versionDownload TopicSubscribe to this topicPrivate MessagesRefresh page View next topic
Author Message
xthexder




PostPosted: Tue Jan 10, 2012 8:15 pm   Post subject: Round 3 Question 5 Sample Case?

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
Sponsor
Sponsor
Sponsor
sponsor
Tony




PostPosted: Tue Jan 10, 2012 9:42 pm   Post subject: RE:Round 3 Question 5 Sample Case?

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...
Latest from compsci.ca/blog: Tony's programming blog. DWITE - a programming contest.
Display posts from previous:   
   Index -> CompSci.ca, Contests -> DWITE
View previous topic Tell A FriendPrintable versionDownload TopicSubscribe to this topicPrivate MessagesRefresh page View next topic

Page 1 of 1  [ 2 Posts ]
Jump to:   


Style:  
Search: