Ejercicios de estructuras algebraicas

Respuesta al ejercicio 2

La primera condición implica la segunda :

\( a\vee b = a = b \vee a \quad \Rightarrow \quad a \wedge b = b \wedge a = b \wedge (b \vee a) = b \)

donde hemos aplicado los axiomas de conmutatividad y absorción.
La segunda condición implica la primera :

\( a \wedge b \quad \Rightarrow \quad a \vee b = a \vee (a \wedge b) = a \)

donde hemos aplicado el axioma de absorción. c.q.d.