Python Sympy – Select monomials from ANF of Boolean expression
Python Sympy – Select monomials from the ANF of a Boolean expression Question: I have some truth table in GF(2) and I compute the corresponding Algebraic Normal Form (ANF) or Zhegalkin polynomial. Below a dummy example with two variables. from sympy.logic.boolalg import ANFform from sympy.abc import x, y truth_table = [0, 1, 1, 1] expr …