Conjunctive encoding of Boolean matrices

A procedure is presented for encoding the states of a control counter in such a way as to make each output or its complement decodable as a single AND-gate, where the inputs to the AND-gates are state variables or their complements. It is assumed that the number of state variables used is a design choice. In fact, it may well be advantageous to assign more than the minimum required number of variables, especially in problems where the number of outputs is large.