Sr Examen

Expresión notz<->not(x->(yvnotz))