In propositional logic, I have now the following formulas.
$X\equiv A \implies (B \vee C)$,
$Y\equiv (A \implies B) \vee (A \implies C)$.
I have already proven that Y implies X. But does X imply Y? Who can help me with a derivation, of a intuitionistic counterexample?