¿Es posible expresar la disyunción a través de la conjunción y la implicación?

Question

Esta pregunta es sobre funciones booleanas. ¿Es posible expresar la disyunción $x\lor y$ a través de la conjunción $x\land y$ (o simplemente $xy$ ) y la implicación $x\to y$ ?

Answer 1

Sí, de hecho, la disyunción se puede expresar solo por implicación: $$ x \ lor y \ equiv (x \ to y) \ to y $$