First time here? Check out the FAQ!

Revision history [back]

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?

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.