Simplify CNF PLE calculation