search

IIC1253 / IIC1253-2023-2

101 stars 2 forks source link

¿Qué tan explícito tiene que ser el desarrollo de la pregunta 1.1 de la T2? #26

Open c4ebt opened 10 months ago

c4ebt commented 10 months ago

La pregunta 1.1 de la T2 pide encontrar una fórmula en CNF equivalente a la fórmula dada en el enunciado. ¿Es necesario explicitar cada paso del proceso mediante el cual se encontró esta fórmula?, ¿o basta con escribir la fórmula y demostrar la equivalencia lógica?

Gracias de antemano.

mpiavf commented 10 months ago

Hola, se deben incluir los pasos que seguiste para llegar a la fórmula o el razonamiento que seguiste para encontrarla, de esta forma se puede entender de mejor manera como llegaste a ella c:

tremendapithon commented 10 months ago

Tengo una consulta y es que con leyes de equivalencia llegue a una formula, pero que esta con disyunciones, que puedo hacer en ese caso, debido que CNF con la conjunción de todas las formulas

kai-yamamoto1 commented 10 months ago

Hola! Una fórmula que tiene únicamente disyunciones de literales es una cláusula. A su vez CNF consiste en conjunciones de cláusulas, pero si tienes solo una cláusula estás "trivialmente" en CNF. También te recomiendo evitar preguntar comentando en issues, porque para nosotros es más difícil de identificar. Es mejor que crees una issue nueva y cites aquella issue sobre la que tienes dudas. Ánimo con la tarea. Saludos!

tremendapithon commented 10 months ago

Gracias, ya pude encontrar una formula equivalente.