CNF valuation