Boolean matrices applied to sequential circuit theory and threshold logics | IEEE Journals & Magazine | IEEE Xplore