Negation of Equivalence

Four students, Simona, Laura, Ingrid, and Bianka, were given the task of finding the negation of the equivalence: $$(4>5)\Leftrightarrow(5\in Q).$$ Here are their solutions:

Simona remembered that the negation of an equivalence is: $$A\Leftrightarrow B'$$

And she also remembered that $I\cup Q=R$ so the negation of $5\in Q$ is $5\in I$.

She decided the negation of the given statement is: $$(4>5)⇔(5∈I)$$

Laura recalled that the negation of an equivalence is: $$A'\Leftrightarrow B$$

She proposed the negation of the given statement as: $$(4\leq5)\Leftrightarrow (5\in Q)$$

Ingrid remembered that an equivalence is an implication going both ways: $$(A\Rightarrow B)\wedge(B\Rightarrow A)$$ Therefore, she split the statement into two implications:

\begin{array}{lc} 1) & (4>5)\,\Rightarrow(5\in Q)\cr 2) & (5\in Q)\Rightarrow(4>5) \end{array} She proceeded to make negations of both implications: \begin{array}{lcc} 1) &(4>5)\wedge(5\in I)\cr 2) &\,\,(4\leq5)\wedge(5\in Q) \end{array}

Finally, she combined these statements using a disjunction: $$((4>5)\wedge(5\in I))\vee((4\leq5)\wedge(5\in Q))$$

Bianka, similarly to Ingrid, found in her notes that equivalence is an implication going both ways and she split the statement into two implications: \begin{array}{lc} 1) &(4>5)\,\Rightarrow(5\in Q)\cr 2) &(5\in Q)\Rightarrow(4>5) \end{array}

Then, she found negations of both implications: \begin{array}{lc} 1) &(5\in I)\wedge(4>5)\cr 2) &(4\leq5)\wedge(5\in Q) \end{array} And finally, she composed the statement using a disjunction: $$((5\in I)\wedge(4>5))\vee((4\leq5)\wedge(5\in Q))$$

Who solved the problem correctly?