\bigwedge_{x}\bigvee_{y}(x+y=0)