Checking Relations using
Full Enumeration or ÒTruth TableÓ method
lMake
a table with each variable as a column header and a column for the expression to be checked.
lEnumerate
all combinations of 0Õs and 1Õs for the variable values.
lEvaluate
the expression for each combination.
lCheck
whether each value is 1 (you can stop early if one isnÕt.)