NOTE: 'for all' and 'for some' will be denoted with A and E respectively. Also, 'implies' will be denoted as -->, 'OR' will be \/ and 'AND' will be /\.
a) Ax Ey Q(x,y)
b) Ex Ey (R(x) \/ V(y))
c) Ey Ax (T(x) --> R(x,y))
What are the worlds for which these predicate formulas are true and false?