Data.Algebra.Boolean.CNF.List
data
CNF
a
fromDoubleList
toDoubleList
fromNNF