Abstract: Consider a hypercube of 2/sup n/ points described by n Boolean variables and a subcube of 2/sup m/ points ... The logical network of an n-bit adder is designed in SPP, as a relevant example ...