Data.Algebra.Boolean.NNF.Set

data NNF a