python中作为cnf转换符号的数字

Question

如何替换数字子句中用作符号的字母？ 我用了一个符号库

我有

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)

有可能吗