Or search by topic
All credit to Alex Bramham, for this excellent and complete solution;
Each wire can be either on or off. Wires that must be the same have been assigned the same variable. The variables are 1 when the wire is on, and 0 when off. Relationships between these variables model the circuit.
Circuit 1
Circuit 2
Circuit 3