1 Combine these three equations into one equation and use the XBOOLE Monitor for a solution in one step. Let be given the following system of equations:

x1 ∨ x3 ∨ x6 = 0, x2 ∨ x4 ∨ x6 = 0, x1 ∨ x2 ∨ x4 ∨ x5 = 1.