Question 7: [10 marks: 5 marks each] Show that the binary operator XNOR satisfies the following postulates: a) Identity b) Inverse Question 10: [25 marks] Design a 3-bit incrementor, that is, the output generates the next number after the input number (e.g., 3 4. Also, 7 0): a) Show the truth table. b) Show the Boolean expression(s) for the output(s) in sum-of-minterms. c) Algebraically, simplify the Boolean expression(s). d) Design the circuit using NAND gates only