来源：https://stackoverflow.com/questions/19699210/solving-symbolic-boolean-variables-in-python 标签 python boolean sympy symbolic-math sage
