yz+xz+xy+x+y+z+1=xyz