def METHOD_NAME(first, second):
    """
    Convert this split disjunction to conjunctive normal form (CNF)
    """
    if isinstance(first, AndExpression):
        r_first = METHOD_NAME(first.first, second)
        r_second = METHOD_NAME(first.second, second)
        return r_first & r_second
    elif isinstance(second, AndExpression):
        r_first = METHOD_NAME(first, second.first)
        r_second = METHOD_NAME(first, second.second)
        return r_first & r_second
    else:
        return first | second