Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Python > Working with propositional formulae in Python

Reply
Thread Tools

Working with propositional formulae in Python

 
 
nnp
Guest
Posts: n/a
 
      02-10-2009
Hey,

I'm currently working with propositional boolean formulae of the type
'A & (b -> c)' (for example). I was wondering if anybody knows of a
Python library to create parse trees and convert such formulae to
conjunctive, disjunctive and Tseitin normal forms?

Cheers,
nnp

--
http://www.unprotectedhex.com
http://www.smashthestack.org
 
Reply With Quote
 
 
 
Reply

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
Excel formulae Calum Williams Computer Support 18 07-25-2008 10:22 AM
if formulae in excel soniarun Software 0 06-18-2007 04:24 PM
Tailors formulae =?ISO-8859-1?Q?Brian_H=B9=A9?= Computer Support 3 03-27-2006 05:00 PM
ummm...... how to evaluate the formulae?? Mars C Programming 10 02-17-2005 02:35 AM
Changing Formulae to number in Excel John Robinson Computer Support 6 01-31-2005 10:47 PM



Advertisments