Какие перечисленные формулы могут быть выведены друг из друга: a. . . .

a. $\forall a \exists b F(a, b) \rightarrow G(a, b)$

Эта формула утверждает, что для любого $a$ существует такое $b$, что если $F(a, b)$ истинно, то $G(a, b)$ также истинно. \nb. $\forall a \forall b F(a, b) \leftrightarrow G(a, b)$

Эта формула утверждает, что для любых $a$ и $b$ $F(a, b)$ истинно тогда и только тогда, когда $G(a, b)$ истинно. \nc. $\forall a \forall b(F(a, b) \wedge G(a, b)) \vee(\overline{F(a, b)} \wedge \overline{G(a, b)})$

Эта формула утверждает, что для любых $a$ и $b$ либо оба $F(a, b)$ и...