Data.Algebra.Boolean.NNF