Design of Self-Checking Discrete Devices Based on the Boolean Signals Correction Using the Constant-Weight “1-out-of-3” Code