I found my own solution some 25 years ago - symbology (without formal training), was a bitch then and turned out to be a bitch now. Hopefully, someone can follow this and let me know if it is correct....
I solved it again, from scratch, just to see if I could. Once again, describing the solution in English / Math determined to be the hardest part. If you have any questions, PM me or just ask here - I have tried to be clear, but translating to symbology is very difficult for me, apparently I did not have the proper training (or don't remember it). I don't even remember my logic symbols...
Definitions - sorry, don't know any formal way of designating this stuff so I had to make up my own (cumbersome at best):
- "ball" - any of twelve steel balls, regardless of weight
- "normal" - any ball that is part of the set of equivalent weighted balls
- "undetermined" - any set of balls not known to contain the odd ball and/or or with unknown parity
- "odd ball" - refers to ball of anomalous weight
- "parity" - refers to weight of odd ball relative to normal balls, either lighter or heavier
- "weighing" - process of comparing weights of groups of balls on a balance scale
- "result" - observation of results of weighing and deductions obtained regarding odd ball and parity
-----------------------------------------------------------------------------------------------------------------------
Assign each ball an imaginary reference number, i.e. 01,02,03,04,05,06,07,08,09,10,11,12 ---> all balls undetermined
1st weighing round is always the same - 3 vs 3 with 3 left out...
-----------------------------------------------------------------------------------------------------------------------
1st round: weigh 01-04 (undetermined) vs 05-08 (undetermined), set aside 09-12 (undetermined)
1st result: scales balance: 01-08 (normal), 09-12 (undetermined)
2nd round: weigh 01-03 (normal) vs 09-11 (undetermined), set aside 04-08 (normal), set aside 12 (undetermined)
2nd result: scales balanced: 01-11 (normal), 12 (odd, parity unknown)
3rd round: weigh any one of 01-11 (normal) vs 12 (odd, parity unknown)
3rd result: scales
can not logically balance - if 12 is heavier, 12=odd,heavy else 12=odd,light --->
solved
-----------------------------------------------------------------------------------------------------------------------
1st round: weigh 01-04 (undetermined) vs 05-08 (undetermined), set aside 09-12 (undetermined)
1st result: scales balanced: 01-08 (normal), 09-12 (undetermined)
2nd round: weigh 01-03 (normal) vs 09-11 (undetermined), set aside 04-08 (normal) and 12 (undetermined)
2nd result: scales
unbalanced: 01-08 (normal), 09-11 (undetermined), 12 (normal)
- *** Note - This process identifies another normal ball - 12 - which was excluded from Round #2 of this permutation.
- It is a little tricky to explain, but we know that the odd ball is contained in 09-12 from results of Round #1.
- After excluding 12 from testing in this round and determining that the scales are unbalanced it necessarily means that 12 is normal, since the odd ball is contained in 09-11. This leaves us with a collection of 01-08+12 normal and 09-11 undetermined, but parity "group" known, either heavier or lighter within 09-11.
3rd round: Weigh any two of the three remaining undetermined balls 09-11, one against the other. This would be 09 vs 10, 09 vs 11 or 10 vs 11.
3rd result: We already know that the odd ball is isolated within this group of three balls from the 2nd round results. We also know that the odd ball's parity is determined from the results of the 2nd round. So...
If the scales balance, no matter which two balls are weighed, the remaining ball
must be the odd one, and must have known parity as explained above. E.g., if the results from the 2nd round show the undetermined set, 09-11, as heavier than the control group 01-03, than the odd ball determined in the 3rd round must be heavier as well. --->
solved
Of course, the converse is also true, if group 09-11 is lighter than group 01-03, than the odd ball is lighter. --->
solved
When the scales
do not balance in the 3rd round, proceed as follows:
Determine which parity (heavy or light) has been established for group 09-11 in the 2nd round, than the ball with the corresponding parity in Round 3 is the odd ball. --->
solved
-------------------------------------------------------------------------------------------------
1st round: Weigh 01-04 (undetermined) vs 05-08 (undetermined), set aside 09-12 (undetermined)
1st result: Scales
unbalanced -
01-08 (undetermined), 09-12 (normal) *** Note - Eight balls, 01-08, remain unknown, although parity is known for
groups 01-04 and 05-08 - (we know which set is heavier and which set is lighter). Parity of the odd ball will be known once it is determined which set of four contains said "odd" ball.
It will be very important to track parity throughout completion of this permutation.
2nd round: Weigh 01-03 (undetermined, parity known) vs 05-07 (undetermined, parity known), leave aside 04 (undetermined, parity known), 08 (undetermined, parity known), 09-12 (normal) [/i]As will be seen, it is important to continue to track parity of each ball / set of balls throughout.[/i]
2nd result: Scales balance -
01-03 (normal), 05-07 (normal), 04 (determined), parity known), 08 (undetermined, parity known), 09-12 (normal)
3rd round: Weigh 04 (undetermined, parity known) vs 09 (known)
3rd result: Scales
do not balance -
*** 04 is odd and parity is lighter
or heavier (known) depending on determination from 1st round. --->
solved
Scales balance -
*** 08 is odd and parity is lighter
or heavier (known) depending on determination from 1st round. --->
solved