InicioGates and circuits via Dunn semantics

Gates and circuits via Dunn semantics