Abstract
An efficient symbolic substitution scheme for modified-signed digit arithmetic operations is introduced. In this technique, an additional bit is used along with each pair of the input bits so that the nth additional bit is a characteristic of the (n-1)th pair of input bits. The truth table minimization thereby shows that relatively fewer minterms are to be included in the corresponding optical content-addressable memory. (Author)