sage: import sage.logic.propcalc as propcalc
sage: f = propcalc.formula("a^(b&c)")
sage: f.convert_cnf()
sage: f
(a|b|c)&(a|b|~c)&(a|~b|c)&(~a|~b|~c)Le samedi 20 avril 2013 20:39:47 UTC+2, Santanu a écrit : > > Dear all, > I want to convert the polynomial f into Conjunctive Normal Form (CNF) > in Sage. How can I do this? > > > B.<a,b,c> = BooleanPolynomialRing() > f=a+b*c > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
