information about Conjunctive normal form field