A new theorem in threshold logic and its application to multioperand binary adders | Publicación