НЕВЫПОЛНИМАЯ ФОРМУЛА Русско-английский перевод НЕВЫПОЛНИМАЯ ФОРМУЛА мат. unsatisfiable formula Большой Русско-Английский словарь. New big Russian-English dictionary. 2012