An Algebraic Model for the Analysis of Logical Circuits | IEEE Journals & Magazine | IEEE Xplore