python - PyEDA - 替换表达式中的节点

Question

考虑以下 PyEDA：

a, b, c = map(exprvar, 'abc')
f1 = And(a,Or(~a,b))
print(f1)

输出：

And(a, Or(~a, b))

a我怎样才能用替换第一个c？compose替换所有实例a：

f1.compose({a: c})

输出：

And(c, Or(~c, b))