2 Solve the equation f(x) = g(x) directly using the procedure implemented in the XBOOLE Monitor.

Let f(x1, x2, x3, x4, x5)=((((x1 ↓ x2) ↓ x3) ↓ x4) ↓ x5), g(x1, x2, x3, x4, x5)=((((x1|x2)|x3)|x4)|x5).