Spectral Logic and Its Applications for the Design of Digital Devices