boolean-normal-forms: Boolean normal form: NNF, DNF & CNF

[ data, library, mit ] [ Propose Tags ]

The provided types that might be useful in symbolic manipulation of propositional logic expressions.


[Skip to Readme]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.0.1, 0.0.0.2, 0.0.1, 0.0.1.1
Dependencies base (>=4.6 && <4.10), cond (>=0.4.1 && <0.5), containers (>=0.5 && <0.6) [details]
License MIT
Copyright © Oleg Grenrus 2014
Author Oleg Grenrus
Maintainer oleg.grenrus@iki.fi
Revised Revision 1 made by phadej at 2016-01-21T07:51:28Z
Category Data
Uploaded by phadej at 2014-05-11T21:00:10Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3292 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]

Readme for boolean-normal-forms-0.0.0.1

[back to package description]

Boolean normal forms

Build Status

This library provides types that might be useful in symbolic manipulation of propositional logic expressions.

Features

  • CNF (list and set)
  • DNF (list and set)
  • NNF (tree and set)
  • FreeBoolean type useful in testing

Distributed under MIT license © Oleg Grenrus 2014