Copyright | © Oleg Grenrus 2014 |
---|---|

License | MIT |

Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |

Stability | experimental |

Portability | non-portable |

Safe Haskell | None |

Language | Haskell2010 |

## Synopsis

- 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

## Instances

fromDoubleList :: [[a]] -> DNF a Source #

toDoubleList :: DNF a -> [[a]] Source #