How do I convert the S_i output of a full adder

into all NAND and NOT form?

This is the example performed on the C_i+1 output

S;= x; Oy; Oc; xy+ ((x Oy) xytc (xg' + xy) xy + cxyl + cx'y (xy + d xy + cxy't exly (xlyty) + (ty texly (x+ C'xy tex'y (x + xytcy C(x+y) + xy c(xy') + xy ((((xy)))'(xy))