return '(?:'+expr_re+op_re+value_re+'|'+value_re+op_re+expr_re+')'

not_re = r'\bNOT '

not_true_re = not_re+true_re

and_false_re = logic_op_re('AND', false_re, atom_re)

and_false_not_true_re = '(?:'+not_true_re+'|'+and_false_re+')'

def simplify_expr(expr):

    def simplify_logic_ops(expr):

        total_n = 0

        expr, n = re.subn(and_false_not_true_re, false_expr, expr)

        total_n += n

        expr, n = re.subn(or_and_true_re, r'', expr)