Find all positive integer solutions to $2^a+b!=2^c$. Wolfram gives $(a,b,c)=(1,2,2),(1,3,3),(3,4,5),(3,5,7)$.
The reduction of this problem when $b=a+1$ uses techniques like $v_p(n)$, as well as Legendre's formula, $v_2(n!)=n-s_2(n)$, where $s_2(n)$ is the number of 1's in base-2 notation of n. (In fact, this reduction is a problem from Singapore Math Olympiad, with answer found here.)
Another reduction, with the condition for $a \geq b$, is easily solved.
How would this equation be solved? Thank you.