The calculator accepts the same expressions as the Simplification Calculator.
Likewise, T and F are reserved for Tautology and Contradiction. Any other variable letter names can be used.
Note that premises should be reasonably simplified. (eg. 'a' instead of 'a ∨ a') The calculator may not function properly, or perform suboptimally if expressions are not simplified.