Rewrite formula eval result into Boolean3
    :param formula:
    :return: Boolean3

def B3(formula):
    """
    Rewrite formula eval result into Boolean3
    :param formula:
    :return: Boolean3
    """
    if isinstance(formula, true) or formula is True or formula == Boolean3.Top.name or formula == Boolean3.Top.value:
        return Boolean3.Top
    if isinstance(formula, false) or formula is False or formula == Boolean3.Bottom.name or formula == Boolean3.Bottom.value:
        return Boolean3.Bottom
    else:
        return Boolean3.Unknown