Clive Maxfield recently posed the Black Box Brain Boggler in the Logically Speaking column of May’s EE Times. The original article was incorrect and posed an overly simple problem. In fact, the real problem is much more difficult, but possible none the less.

At first, this appears to be deceptively simple. We start with a black box with three inputs–A, B and C–and three outputs (see below). The outputs, which we may name !A, !B and !C, are the logical inversions of the inputs.

The challenge is implementing this black box with only two inverters, a bucket of basic gates, and without a hard coded binary 0 or 1. The bucket of gates presents two levels of difficulty. The former being far easier than the latter. In fact, the first bucket should be easy for any digital design student to solve.

1. The bucket of basic gates contains AND, OR, and XOR gates. Remember, you cannot connect any of the inputs directly to a binary 0 or 1.

2. The bucket contains only AND and OR gates. The solutions are extremely complex, but do exist!

He recently posted the clarifications and some purposed solutions on DesignLine. If you are curious, here are the spoilers for challenge one and two. If you enjoy proofs, there are some more logic puzzlers for your unsatisfied brain.