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]
Versions [RSS] [faq] 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.*) [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 NixOS:0.0.1.1
Downloads 2951 total (24 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

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

For package maintainers and hackage trustees

Candidates


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