ID NAME QUALITY USERS ACC % DIFFICULTY C I
147 Tautology   2 496
17
17

#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)