On Codes for Checking Logical Operations | IBM Journals & Magazine | IEEE Xplore