Hi Ben, This has some stuff that may be useful: http://www.stenmorten.com/English/llc/llc.htm
There are many sources on evaluating mathematical expressions on the net, but fewer for logical ones.. Good luck, Kevin -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Ben Goertzel Sent: Thursday, February 17, 2005 4:45 PM To: [EMAIL PROTECTED] Listbox. Com Subject: [agi] C++ code for converting logic expressions to CNF? Hi all, My wife is a C++ program doing some manipulations of logic expressions and she needs a routine that transforms general logic expressions into conjunctive normal form. Of course it's not hard to code but I figure someone has probably already written some nice code that does this, so maybe I can just use something already existing... Anyone know of any code like this out there? Java code would also probably work since gcc can import Java and use it just like C++ Thanks Ben ------- To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/[EMAIL PROTECTED] ------- To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
