View Single Post
  #6  
Old 11-25-2013, 01:11 PM
BillsBayou's Avatar
BillsBayou BillsBayou is online now
Member
 
Join Date: Mar 2013
Location: New Orleans
Posts: 77
Default

I actually read this. You expanded the clue into a very simplified form and worked it out rather well. Since the negation of an XOR is a biconditional, I can't fault your logic. Thanks.

Here's how I worked it out from my list of things I get from the two clues:

1) Vestor is 714,000 or PLC120
...
5) 47-light-years is Vestor or 650,000
...
8) PLC120 is not 47-light-years

Substituting #1 into #5 I get:
47 is 714,000 or PLC120 or 650,000

Applying #8 eliminates PLC120:
47 is 714,000 or 650,000

Mine is simple in English, but yours is more of a proof of why mine works. Given my screw-up with the tautology approach, I'll take all the help I can get.
Reply With Quote