Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Safe Haskell | None |
- newtype DNF a = DNF {
- unDNF :: [[a]]
- fromDoubleList :: [[a]] -> DNF a
- toDoubleList :: DNF a -> [[a]]
- fromNNF :: Negable a => NNF a -> DNF a
- module Data.Algebra.Boolean.NormalForm
Documentation
Boolean formula in Disjunction Normal Form
fromDoubleList :: [[a]] -> DNF aSource
toDoubleList :: DNF a -> [[a]]Source