Simplify!

Examples

(a == true) && (b == false) => a > b

(a && b) || (!a && !b) => a == b

(a && b) || !a == true => a <= b

(a && b) || a => a