Sr Examen

Expresión z->(not(y->x))