Para mi aportación, yo diseñé un circuito lógico a partir de ciertas premisas; si éstas cumplen con los valores asignados para que la conclusión sea verdadera, entonces el semáforo se prenderá, de lo contrario, no lo hará. Las premisas son las siguientes:

P: El electrón tiene una carga de -1.6022x10^-19 Coulombs.
Q: El protón tiene una carga de +1.6022x10^19 Coulombs.
R: El neutrón tiene una carga de 0.

Lo que queremos demostrar es lo siguiente:

El electrón tiene una carga de -1.6022x10^-19 Coulombs y el protón tiene una carga de +1.6022x10^19 Coulombs ó el electrón no tiene una carga de -1.6022x10^-19 Coulombs y el protón no tiene una carga de +1.6022x10^19 Coulombs y el neutrón no tiene carga O.


Ahora hacemos la tabla de verdad, la validez y la demostración:

Ahora ya tenemos todo para realizar nuestro circuito lógico, y para ello me basé en la tabla de verdad que ya había hecho antes. Si la observamos, notamos que sólo existirán tres casos en los que nuestra conclusión será verdadera: cuando P, Q y R son falsas al mismo tiempo, cuando las 3 son verdaderas y cuando P y Q son verdaderas y R falsa; entonces, utilicé los valores de éste último caso para construir el circuito.