Математическая логика: как найти значение выражения с переменной