Un ingenio el??ctrico para resolver problemas de l??gica formal

Noticia sobre un cuadro de elementos realizado por Pedro Puig Adam con material el??ctrico, como hilos, conmutadores, enchufes y l??mparas ordinarias, cuyo acoplamiento fundado en el isomorfismo existente entre el c??lculo de proposiciones de la l??gica formal y el c??lculo con funciones de conmutaci??n, conocido como ??lgebra de Boole, permite materializar c??modamente, casi en forma de juego, las relaciones usuales de la l??gica proposicional y resolver con ello los problemas corrientes de tal l??gica, verificando implicaciones, equivalencias y tautolog??as.