אנגלית ⇄ רוסית +

circuit satisfiability מתח
.מָתֵי	Задача о выполнимости схемы (Источник: nashaucheba.ru Jumpow)