This was an interesting problem. I implemented the 6 vote solution and decided to see if it could be extended to 24.

I blocked out the name of the circuit that does a key part of the work.

EDIT: Simplified binary to BCD conversion logic:

 

Well good news are that i figured out how to fix the simulation and those broken links, thus the sum was correct and it does work.

My simulator wasn't working well yesterday. Your solution is correct.

Please forgive my blockheadedness...

I am still curious what your design process was. I would have taken the approach I used in my previous post. I made an encoder that would convert 3 inputs to a binary number and then used adders to add their outputs.