Sr Examen

Expresión (notxvz)<->(((y^notz)vx)->noty)