Velocity Reviews - Computer Hardware Reviews

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

Thread Tools

Working with propositional formulae in Python

Posts: n/a

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?


Reply With Quote

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