# 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?

Related question asked at: