Spectral Logic And Its Applications For The Design Of Digital Devices