COMPINO Discrete Serw 200 5 (15 pts.). Use the valid argument forms (ie rules of inference in the table below to ument forms (ie, rules of inference in the table below to deduce the conclusion From the premises. Justify each step in of bui vous need not show the substitutione apply a given rule at a particular step. (My solution has two steps) a. P b. FA- c... - Modus Ponens you need not show the substitutions you used to Eliminati Modus Tollens P9 Transitivity Generalization Proof by Division inte Cases Specialization ..PV4 2. PAG .pve PAG Conjunction Contradiction Rule ..P ..PAG Answer COMP 18 Discrete Structures Fall 2020 6 (15 pts.). Produce the input/out (15 pts.). Produce the input/output table from this circuit (where and are inputs and R is the output)