Select all formulas below that are equivalent to 3x V y Plyx) ((XA)d - A EXA)-O 0 - (Ex Vy - P(y,x)) Ovy 3 x Ply,x) 3 y V x P(x,y) Select all formulas below that evaluate to TRUE on this Tarski board. . o Remember that NextTo(x,y) is true iff x is directly above, below, to the left or to the right of y (not diagonal). Similarly, Aligned(x,y) is true when x and y are in the same row or column (not diagonal); also, each piece is aligned with itself. 3x Big(x) Square(x) Vx Circle(x) Hy Triangle(y) ^ NextTo(x,y) Vx Vy - NextTo(x,y) v Circle(x) v Circle(y) V Little(x) -Square(x)