boolean-normal-forms
Version 0.0.1.1 revision 0 uploaded by phadej.
Package meta
- Synopsis
- Boolean normal form: NNF, DNF & CNF
- Description
The provided types that might be useful in symbolic manipulation of propositional logic expressions.
- Author
- Oleg Grenrus
- Bug reports
- n/a
- Category
- Data
- Copyright
- © Oleg Grenrus 2014
- Homepage
- n/a
- Maintainer
- oleg.grenrus@iki.fi
- Package URL
- n/a
- Stability
- n/a