Add DNF/CNF complete_sum function