[moncasgon]

Buenas tardes, soy nuevo en este foro y ante todo quiero agradecer el trabajo que realizais.
No sé si me estoy dirigiendo bien a la hora de realizar mi cosulta, si no es así, disculpadme.
Mi poblema es el siguiente, estoy intentado resolver un ejercicio para transforma a FNC  y estoy atascado en un paso, en concreto en la elminación de disyunción con literal y su opuesto, podría alguien explicarme cómo se hace? lo he estado consultado en distintos sitios y no encuentro nada que me ayude.



Un saludo

[Luis Fuentes]

Hola

 Bienvenido al foro.

 Recuerda leer y seguir  las reglas del mismo así como el tutorial del LaTeX para escribir las fórmulas matemáticas correctamente.

Buenas tardes, soy nuevo en este foro y ante todo quiero agradecer el trabajo que realizais.
No sé si me estoy dirigiendo bien a la hora de realizar mi cosulta, si no es así, disculpadme.
Mi poblema es el siguiente, estoy intentado resolver un ejercicio para transforma a FNC  y estoy atascado en un paso, en concreto en la elminación de disyunción con literal y su opuesto, podría alguien explicarme cómo se hace? lo he estado consultado en distintos sitios y no encuentro nada que me ayude.



Un saludo

 Utiliza dos cosas que:

\(  \neg A \vee A=V \) (úsalo para \( A=(p\vee q) \))
\(  V\vee A=A \) (úsalo para \( A=\neg (p\vee r)\vee \neg (\neg p\vee q)  \))

Saludos.

[ani_pascual]

Hola:
En el último paso ¿no debería quedar \( (\neg r\vee p)\wedge ((\neg p\wedge \neg r)\vee \neg q) \)?
Saludos

[Luis Fuentes]

Hola

Hola:
En el último paso ¿no debería quedar \( (\neg r\vee p)\wedge ((\neg p\wedge \neg r)\vee \neg q) \)?
Saludos

Si; en principio aplicando la distributiva como parece sugerir quedaría:

\( ((\neg p\vee p)\wedge (\neg r\vee p))\wedge ((\neg p\wedge \neg r)\vee \neg q) \)

Y de ahí lo que dices...

Saludos.