Question

Threshold circuitry is a fundamental component of neural net design in Computer Science.        Your job is to design a 3 ballot “voting” circuit, output = 1 if two wires vote YES.

You have input leads A, B, C going in. When two (or more lines) are on, the output line is 1.

So this circuit determines if a majority of the leads are on.

2a) Design such a circuit based on the above specification directly.
Draw the gate-diagram and also write the circuit as a Boolean function.





2b) Now test such a circuit (i.e. an Experiment) to determine if it works (Hypothesis).

Describe the test (not with physical wires and gates) but based on what you
you learned in Discrete Structures and do the actual test. It is a standard tool in propositional logic (hence also good for programming. Test all cases!

Show that this circuit actually does go on when the majority of votes on the input lines are 1.