Check if the given expression is always true. For example, the sentence
'~(A & B) == (~A | ~B)'
is always true.
Characters in the input sequences may include ~ & | == ( ), whitespace, 0 for false, 1 for true and letters for variables.