x( Zx 
yKy
) / x[ Zx y(
Ky v Sy )]
x( Hx Fx
), x[( Fx & Uxx ) Wxx ], zUzz / x( Hx Wxx )
x[( Fx & Gx ) 
y( Axy & Py )], xy[ Fx & ( Axy & Py )] / x(
Fx & Gx )
x( Px Qx
) / ( xPx & xQx ) x( Px & Qx )
xy[( Ry v Dx ) ~Ky ], xy( Ax ~Ky ), x( Ax v Rx ) / x~Kx
y( My Ay
), xy[( Bx & Mx) & (Ry & Syx
)], xAx yz(
Syz Ay ) /
x( Rx & Ax )
x( Fx & Aix ) ~xKx , y[ x~( Fx & Aix ) & Ryy ] / ~xKx
x(
Jxa & Ck ), x( Sx & Hxx ), x[(
Ck & Sx ) ~Ax
] / z( ~Az & Hzz )
x[
Cx v y( Wxy Cy )], x( Wxa & ~Ca ) / xCx
xy( Dxy Cxy ), xyDxy, xy( Cyx Dxy ) / xy( Cxy & Cyx )
x( Ax Bx ) x( ~Bx ~Ax )
x( Ex v Fx ) x~Ex
xJx xKx ) x(
Jx Kx )
xy( Nx v Oy ) yx( Nx v Oy )
x{( Fx & ~Kx ) y[( Fy & Hyx ) & ~Ky ]},x[( Fx & y[( Fy & Hyx ) Ky ]) Kx ] Mp / Mp