Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Generate dnf and cnf with Sage possible?

Hello,

I just found out about Sagemath. We previously used sympy to calculate the dnf and cnf of a truthtable, but only one answer is given. Is something similar in Sagemath (logic) possible, but maybe with different solutions?