如何替换数字子句中用作符号的字母？我使用了一个符号库。
我有
from sympy.logic.boolalg import to_cnf
from sympy.abc import A, B, D
to_cnf(~(A | B) | D)
cnf:
(D | ~A) & (D | ~B)
我需要用数字替换字母
A as 1
B as 2
D as 2
例子
to_cnf(~(1 | 2) | 3)
cnf:
(3 | ~1) & (3 | ~2)
有可能的？