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
def B3 ( formula ) : 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
Rewrite formula eval result into Boolean3
    :param formula:
    :return: Boolean3