Checking Relations using
Full Enumeration or ÒTruth TableÓ method
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.
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.)