Sr Examen

Expresión (¬x->y)&(¬xv¬y)->¬x