#logic

The problem involves logical expressions or automated reasoning

https://en.wikipedia.org/wiki/Mathematical_logic https://en.wikipedia.org/wiki/Well-formed_formula https://en.wikipedia.org/wiki/Term_(logic) https://en.wikipedia.org/wiki/Variable_(mathematics)