有没有办法把像a&b&1这样的z3表达式转换成a&b?我是z3的初学者。要求将a&;百安居酒店;一成a&;B我尝试使用simplify()。但它给出了德摩根等价物(~a | ~b)。 (但是,如果表达式只有一个变量,例如:a&;1 ...2024-05-29 已阅读: n次