1. Conjunctive normal form (CNF) is a conjunction of one or moreclauses, where a clause is a disjunction of literals; disjunctivenormal form(DNF) is a canonical normal form of a logical formulaconsisting of a disjunction of conjunctions.

   1. (a) Please provide the conjunctive normal form anddisjunctive norm form that are equivalent to p ? q, respectively.(Proofs are not needed.)

   2. (b) Please provide the conjunctive normal form anddisjunctive norm form that are equivalent to ¬((p ? ¬q) ? r),respectively. (Proofs are asked in the next parts.)

   3. (c) Please use truth table to show that the originalstatement and the conjunctive normal form in (1b) are logicalequivalent.

   4. (d) Please use propositional algebra to show that theoriginal statement and the disjunctive normal form in (1b) arelogical equivalent.