Data.Algebra.Boolean.NNF.Tree

data NNF a