From: Robert D. <rob...@gm...> - 2015-03-19 17:41:04
|
Dumaiu <dymaio <at> gmail.com> writes: > Thank you for your suggestions. In particular, thanks to > Mr. Dodier for the fix for that bug in lassociative and rassociative, > though I now feel like a weenie for not producing it myself. Don't worry about, as a knowledgeable user, you are already contributing substantially to the project. Also, bear in mind that even once that bug is fixed, you will probably run into other limitations of the operator declaration & simplification machinery .... > For the record, my interest is in information theory and my > purposes are best served by disjunctive normal form. I choose the > propositional-logic "∧" for my post because I thought it would be > the most universal example for those who might, in the future, be > searching the mailing list for prior answers as I was. OK, that makes sense, but maybe you'll want to take a look at share/logic/logic.lisp as it has an implementation of the perfect conjunctive and disjunctive normal forms. best, Robert Dodier |