Design of Self-Checking Discrete Devices Based on Boolean Signals Correction and Composition of Constant-Weight Codes "1-Out-of-4" and "3-Out-of-4". - Dmitry V. Efanov; Yeseniya I. Yelina; Sunnatillo T. Boltayev; Nazirjan M. Aripov; Asadulla R. Azizov; Elnara K. Ametova; Sokhibjamol I. Valiev (IEEE Access, 2026)