if type(expr) == b_not_t and type(expr.op) == b_or_t:
    return b_and_t(b_not_t(expr.op.op1.pluck()), b_not_t(expr.op.op2.pluck()))