Ask Your Question

Revision history [back]

I am not sure about your objectives, but perhaps could you have a look at one of the following pages:

  • http://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/boolean_function.html
  • http://doc.sagemath.org/html/en/reference/polynomial_rings/sage/rings/polynomial/pbori.html
  • http://doc.sagemath.org/html/en/reference/sat/sage/sat/boolean_polynomials.html
  • http://doc.sagemath.org/html/en/reference/logic/sage/logic/booleval.html