Python Sympy - 來自 Boolean 表達式的 ANF 的 Select 單項式

Question

我在 GF(2) 中有一些真值表，我計算相應的代數范式 (ANF) 或 Zhegalkin 多項式。 下面是一個帶有兩個變量的虛擬示例。

from sympy.logic.boolalg import ANFform
from sympy.abc import x, y

truth_table = [0, 1, 1, 1]

expr = ANFform([x, y], truth_table)

哪個打印

x ^ y ^ (x & y)

然后我想提取和 select 結果表達式的個體單項式。

例如，我會有這樣的事情：

expr_monoms[2] # (x & y)

如何做到這一點？

Answer 1

您可以使用.args ：

In [50]: from sympy.logic.boolalg import ANFform
    ...: from sympy.abc import x, y
    ...: 
    ...: truth_table = [0, 1, 1, 1]
    ...: 
    ...: expr = ANFform([x, y], truth_table)

In [51]: expr
Out[51]: x ⊻ y ⊻ (x ∧ y)

In [52]: expr.args[2]
Out[52]: x ∧ y