Sr Examen

Expresión yz+¬y¬z→z+x¬y