Generalized cofactoring for logic function evaluation