Cody

Problem 44374. Tautology

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.

Solution Stats

18.63% Correct | 81.37% Incorrect
Last Solution submitted on Apr 06, 2020

Problem Comments

Solution Comments

Problem Recent Solvers39

Suggested Problems

More from this Author41

Problem Tags