Volver a los detalles del artículo Disyunciones exclusivas con tres términos desde el cálculo de predicados de primer orden Descargar Descargar PDF