Enter an equation or inequality of Residuated Lattices

Use 0 e 1 for constants, v ^ * / \ for join, meet, product and residuals, = <= >= for equality or inequality.

Enter an equation or inequality:  

Brief explanation of output