State for each formula whether it is unsatisfiable, satisfiable but invalid, or valid.

No justification is required.

$($a$)$ AAx.$P(x)$EEx.$P(x)$

$($b$)$ not$((AAx*P(x))harr(AAx*P(x)))$

$($c$)$ EEx$*Q(x)P(x{)}^{{?}^{?}}Q(x)$

$($d$)$ AAx.$P(x{)}^{{?}^{?}}Q(x)Q(x)$