[Haskell-beginners] Data structure for Propositional Logic formulas
ionfish at gmail.com
Wed Oct 12 23:24:04 CEST 2011
since Daniel has done a nice job of actually answering your questions,
I shall just note that I have a module similar to this available on
Hackage as part of my hatt package, which generates truth tables for
formulae in classical propositional logic.
More information about the Beginners