Ejercicio 10, duda con equivalencias

Ejercicio 10, duda con equivalencias

de Jose Agustin Bizio Piriz -
Número de respuestas: 1

Hola muy buenas.

Hice uno de los ejercicios del 10 y me dio (~p v ~q) como equivalente FNC 

mi duda es, al pasar a FCD, se puede decir que (~p v ~q ) eq ((~p) v (~q))?

ya que en tal caso ((~p) v (~q)) es una FCD pero el problema es que no esta en PROP, de otra manera, como se puede hacer esto? 

En respuesta a Jose Agustin Bizio Piriz

Re: Ejercicio 10, duda con equivalencias

de Guillermo Calderon - InCo -
La fórmula `(~p v ~q)` está a la vez en FND y FNC.

Con el tema de los paréntesis, en general admitimos que se pueden no poner de acuerdo con las reglas de precedencia y asociatividad
dadas. Por lo tanto, consideramos `(~p v ~q )` es una abreviatura de la fórmula `((~p) v (~q))`.