In c++

Output should look like this

1. Before diving into coding, think about the exact meaning of the nested quantifier by translating the symbolic statements into plain English. 2. After translation, the statement is either true or false. Think about when is true, and what makes it false. Given the nested quantifiers Vx3y P (x, y), where P denotes x + y