Evaluates, simplifies, and compares boolean expressions.