Try stepping through$/$tracing the code on the following $2$ inputs. Write out each step $($line of code$)$ that occurs when each of these wffs is the input. For the first wff $P$ is A and $Q$ is $(Av$

B$).$

$A(AvvB)$

$(AvvB)A$

Be sure to say if either wff is in fact a tautology.