def isNegation(a, b):
"""Is a the negation of b?"""
return compareASTs(deMorganize(ast.UnaryOp(ast.Not(), deepcopy(a))), b, checkEquality=True) == 0
微信
公众号
扫码关注公众号