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

set of coded boolean expressions that are satisfiable מתח
.תִכנו	множество закодированных выполнимых булевых формул (ssn)