2. Using the following rewrite rules trom the suus 1. TA... ATT 2. IAAA...AA => 1 3. TVA V... V ART 4. tv...vt 1 5. T 1 6. IT 7. AT T 8. I A T 9. TI I 10. TATT 11. TI => I 12. 1 T = 1 13. IT evaluate each of the two formulas below to either T or L. You can apply the rules in any order but rewrite only one subformula a time. Show all your steps. Indicate at each step which subformula of the current formula you are rewriting and by which rule. Make sure you respect the precedence of the various connectives. (a) (TAT) TAI (b) (-T +1T) + (-TVI TVT)