By Topic

On Codes for Checking Logical Operations

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)

Two types of codes for checking logical operations digit by digit on two vectors of binary digits are studied. The first type attaches a check symbol to each vector of binary digits and requires that the check symbol for the logical function of two vectors can be determined from the check symbols of the two input vectors. The second type of coding is ordinary block coding into vectors of binary digits, with the added requirement that the coded vectors be processed digit by digit. The constraints on the codes resulting from the assumptions for the coding system are studied by typical algebraic arguments. It is shown that for both types of coding and for all nontrivial logical functions of two variables, except “exclusive or” and its complement, there is no system of checking simpler than duplication. For “exclusive or” and its complement, group alphabets can be used, and for the block coding these are the only codes which can be used.

Note: The Institute of Electrical and Electronics Engineers, Incorporated is distributing this Article with permission of the International Business Machines Corporation (IBM) who is the exclusive owner. The recipient of this Article may not assign, sublicense, lease, rent or otherwise transfer, reproduce, prepare derivative works, publicly display or perform, or distribute the Article.  

Published in:

IBM Journal of Research and Development  (Volume:3 ,  Issue: 2 )