implement Concept.toNNF