correction to cnf->poly algorithm

In line 97, algorithm s/b a + ~b  = b + ab.  It was mistakenly written
as a + ~b = ab.