Generate dnf and cnf with Sage possible?

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

lemirco gravatar image

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?

edit retag flag offensive close merge delete

Comments

Related question asked at:

slelievre gravatar imageslelievre ( 2021-07-23 08:37:54 +0200 )edit
add a comment