Enter an equation or inequality of Residuated Kleene Lattices

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

Enter an equation or inequality:  

Brief explanation of output