Autor Tema: Cómo determinar una consistencia de cláusula?

0 Usuarios y 1 Visitante están viendo este tema.

09 Octubre, 2016, 10:29 pm
Leído 708 veces

Antoniio

  • Aprendiz
  • Mensajes: 258
  • Karma: +0/-0
  • Sexo: Masculino
Hola, buenas. Me podrían explicar cómo se puede determinar la consistencia de un conjunto de cláusulas?, por ejemplo:

{ \(   p \wedge q \wedge r, \neg p \wedge q , \neg q \wedge r, \neg r, p \wedge r  \)  }

Edito:
Ya lo he resuelto :3