Use the following formula for this question:

# ((R(ST))((TR)(RS))) frm = ((~R>>(S&T))&((T|R)>>~(R&~S))) 

Draw the parse tree of the formula for this question.

Convert the formula for this question to negation normal form (NNF) and conjunctive normal form (CNF).

Use the Python formatting, and be sure to include your reasoning. E.g.,

steps = [ [(P & Q) | R, 'starting formula'], [(P | R) & (Q | R), 'distribution'] ] Example explanation text might be:  starting formula  de Morgan  distribution  replace implications  double negation