Is it possible to express disjunction through conjunction and implication?

Question

This question is about Boolean functions. Is it possible to express disjunction $x\lor y$ through conjunction $x\land y$ (or simply $xy$) and implication $x\to y$?

Answer 1

Yes - in fact, disjunction is expressible via implication alone: $$ x \lor y \equiv (x \to y) \to y $$