Algebra Help Program

Hy, I need help to solve a problem using the programming logic (boolean algebra)?
this is the function F = v * x + x + z * x * y + y * z. I have to study the monotony of this function using Boolean algebra. I tried with table values, but I'm not sure. please immediate response. :-S
This is what has wolframalpha.com http://www.wolframalpha.com/input/?i=F+% 3D + v * x +% 2B + x * z% *% y * 2BX z 2BY
Algebrator program does any math problem, calculus, algebra, geometry nearly anything

