reticle modular

Reticle (R, ∧, ∨) tal que si ac aleshores a ∨(bc) = (ab) ∧c.