Generate dnf and cnf with Sage possible?

asked 2021-07-20 15:14:11 +0200

lemirco gravatar image


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?

edit retag flag offensive close merge delete