Data.Algebra.Boolean.CNF