2. [8 marks] The truth table below defines the truth value of f for each combination of truth values of a,b,c and d. FFFF FFF TF FF TF F FFTT F F TFF F FTFT FTTF F FIT | T|T F TFFF T TFFT T TFTF F TIFI TIT F F F T TTFT TT TFF T|T|T|TF a. 15 marks] Find a logic formula for f that uses each variable at most once. Then verify the correctness of your formula by drawing a truth table corresponding to this formula, including the truth values of all relevant sub-formulas. Enter your response in the table on the next page. We have provided at least as many columns as you'll need. Be sure to fill in the column headings! b. [3 marks] Now create a circuit with inputs a, b, c, d, whose output is the value / described by the truth table. Design your circuit only using AND, OR, XOR or NOT gates and their negated counterparts). Your mark will depend on using as few AND, OR, and XOR gates as possible