Data.Algebra.Boolean.DNF