Sr Examen

Expresión ab+ac+¬a¬b¬c⇔¬c