Please check that all literals are lower case letters or upper case letters (No combination of lower case letters and upper case letters allowed), preceded by an optional ' ! ' to denote negation.
Please check that literals are separated by ' & ' and terms are separated by '  '.
A correct example is : a & b  c & d. In the result, 0 represents FALSE and 1 represents TRUE;
the order of 0s and 1s in the test points maps to the order of the variables entered in the predicate. For example,
if the predicate is a & b, then 10 means a = 1 and b = 0. If the predicate is entered as b & a, then 10 still means that a = 1 and b = 0.
(Please be aware that this application gets slow for expressions that have more than 5 or 6 variables.)


Please check that infeasible literal combinations are separated by semicolons and that literal assignments to 0 or 1 are separated by commas. For example if a = 0 and b = 0 is infeasible and if c = 0 and d = 0 are infeasible, the format is a = 0, b = 0; c = 0, d = 0. 



