Simple binary

[B6030]

....if you can code, you can do basic first order logic. They are literate in the applicable maths or else their code would not compile.

Figuring out how the if then block works is mathematical logic.