Working with propositional formulae in Python
Terry Reedy
tjreedy at udel.edu
Tue Feb 10 17:33:06 EST 2009
nnp wrote:
> 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?
You would probably do better with Google.
"Python conjunctive normal form"
gave some potentially interesting hits.
More information about the Python-list
mailing list