Chapter 16, Problem 19E

Explanation of Solution

“No”, the set of equivalence rules that are given in Section 16.2.1 is not complete.

Explanation:

• If the two expressions give the same output on all input relations then, it said to be equivalent.
• A complete set of equivalence rules is the one in which two expressions are equivalent.
• If equivalence rule is complete, one expression can be derived from the other by a sequence of uses of equivalence rules.
• The set of equivalence rules that are given in Section 16.2.1 is not complete and the explanation is given below:
  • From the hint given, let the equivalence ${\text{σ}}_{}$