self-checking logic

Логические схемы [логика] с самоконтролем