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

check satisfiability of logical formulas מתח
.בינה	определить выполнимость логических формул (Alex_Odeychuk); проверить выполнимость логических формул (Alex_Odeychuk)