Terminado el eliminador de implicación y el distribuidor de negaciones