python - Pythonでのcnf変換の記号としての数字

Question

記号として機能する数句の文字をどのように置き換えることができますか? 私はsymライブラリを使用しました。

私は持っている

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)

可能です？