(bool1, bool2, info=False)
return True
Return True if the two expressions represent the same logical
    behaviour for some correspondence between the variables of each
    (which may be different). For example, And(x, y) is logically
    equivalent to And(a, b) for {x: a, y: b} (or vice versa). If the
    mapping is desired, then set ``info`` to True and the simplified
    form of the functions and mapping of variables will be returned.
Return True if the two expressions represent the same logical
    behaviour for some correspondence between the variables of each
    (which may be different). For example, And(x, y) is logically
    equivalent to And(a, b) for {x: a, y: b} (or vice versa). If the
    mapping is desired, then set ``info`` to True and the simplified
    form of the functions and mapping of variables will be returned.
Return True if the two expressions represent the same logical behaviour for some correspondence between the variables of each ( which may be different ) . For example And ( x y ) is logically equivalent to And ( a b ) for { x : a y : b } ( or vice versa ) . If the mapping is desired then set info to True and the simplified form of the functions and mapping of variables will be returned .
def bool_equal(bool1, bool2, info=False):
    """Return True if the two expressions represent the same logical
    behaviour for some correspondence between the variables of each
    (which may be different). For example, And(x, y) is logically
    equivalent to And(a, b) for {x: a, y: b} (or vice versa). If the
    mapping is desired, then set ``info`` to True and the simplified
    form of the functions and mapping of variables will be returned.
    """

    mapping = bool_map(bool1, bool2)
    if not mapping:
        return False
    if info:
        return mapping
    return True
def bool_equal ( bool1 , bool2 , info = False ) : mapping = bool_map ( bool1 , bool2 ) if not mapping : return False if info : return mapping return True