Formal math can be pretty dang handy, for programmin
But I've never actually needed it, for programming.
Boolean math does sometime look like a super power. I've noticed that veteran programmers pretty much all use it (or an intuition that is essentially the same thing), even if they've never been formally taught.
"I think we can do this in one fewer levels of nesting."
"No way."
.... some time and analysis later...
"How the hell did you know that?!"
"I noticed the logic simplifies a bit with DeMorgan's theorum and still works out."
"What the fuck did you just say?!"
...
"I said it was a lucky guess."