System of Boolean Equation

Is there any function / toolbox in Matlab to solve a system of boolean equation that gives every possible solution?

For example,

var1 = x AND y

var2 = x OR z

If I want every var to assume 1 value, possible solutions may be:

[x y z] = [1 1 0], [1 1 1]

[madhan ravi]

Please provide another example and your desired output.