Hi All,
I'm looking to get some propositional calculus code that I wrote
reviewed and refereed.
The code allows operations such as simplification, conversion to
normal form, truth table creation, etc.
The code is at:
http://www.sagemath.org:9002/sage_trac/ticket/545
if anyone is interested that
Hi All,
I've recently written some sage code for manipulating and simplifying
propositional calculus statements.
The code can be downloaded at
http://sage.math.washington.edu/home/goreckc/sage/logic/logic.tgz
if anyone is interested in checking it out.
Also, I was wondering if anyone knew of a go
