Data.Algebra.Boolean.NormalForm