Sr Examen

Expresión (notx->z)^(z->(x->noty))