B\Leftrightarrow(A\land C\Rightarrow\lnot(B\land C\Rightarrow A))