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