Inversion for S2LAL

This brief technical note is in response to the recently introduced S2LAL reversible logic family, which is a static version of the 2LAL family.
I created inversion for 2LAL in a previous report, and create inversion for S2LAL here using similar principles. S2LAL requires quad-rail logic because there is no other source of inversion. Quad-rail logic is not necessary with the inversion in this note, although it can still be used. The availability of inversion will result in much smaller circuits in some cases.

v. 1.01 Alt. source /ar/CATC/S2LAL_Inv_1.01.pdf

original version Alt. source /ar/CATC/S2LAL_Inv.pdf