I know the answers, but I don't understand how to evaluate these statements. The quantifiers are confusing me. Do I consider the logical operators first since they're in parenthesis? And how do I apply the quantifiers after that point? Please explain the process in detail (step by step).

For the following questions, the domain for the variable x is the set of all positive integers. The first three questions use predicates 0 and M which are defined as follows: O(x): x is odd M(x): x is an integer multiple of 4 (e.g., 4, 8, 12,...) O False nji ((x + zx) ^ ( L = x)) XA O False nil (x)0- + (x)W) XA