Beruflich Dokumente
Kultur Dokumente
DISCRETAS TAREA # 2
NOMBRE: ANDRES A.N PREGUNTAS DE RESPUESTA BREVE CONTENIDOS: 1. DEFINA LA CONJUNCION Y DISYUNCION DE CONECTIVOS E INDIQUE LAS TABLAS DE LA VERDAD.
Conjuncin: proposicin compuesta que es verdadera cuando tanto p como q son verdaderas y falsa en otro caso.
Tabla de la Verdad p q p ^q V V V V F F F V F F F F
Disyuncin: proposicin compuesta que es falsa cuando ambas p y q son falsas y verdadera en cualquier otro caso.
Tabla de la Verdad p q pv q V V V V F V F V V F F F
2. DEFINA LAS PROPOSICIONES CONDICIONALES Y BICONDICIONALES E INDIQUE TAMBIEN LAS TABLAS DE LA VERDAD.
Prop. Condicionales: es aquella que es falsa cuando p es verdadera y q es falsa, y verdadera en otro caso.
Tabla de la Verdad p q p q V V V V F F F V V F F V
Prop. Bicondicionales: es aquella que es verdadera cuando p y q tienen los mismos valores de verdad y falsa en caso contrario.
Tabla de la Verdad p q p q V V V V F F F V F F F V
Son equivalentes cuando ambas proposiciones compuestas tienen tablas de verdad idnticas.
Si A(p1, p2..pn) B(p1, p2..pn), donde A y B son proposiciones compuestas, entonces A*(p1, p2..pn) B*(p1, p2..pn).
Es el que se obtiene al remplazar cada v por ^ , cada ^ por v , cada V por F y cada F por V, donde V y F son variables especiales que representan proposiciones compuestas.
7. EXPRESE LAS FORMAS FUNDAMENTAL Y DUAL DE LA LEY DISTRIBUTIVA, LA LEY DE ABSORCION Y LA LEY DE MORGAN. NOMBRE DE LA LEY Ley Distributiva Ley de Absorcin Ley de Morgan FORMA FUNDAMENTAL p v (q ^ r)(p v q) ^ (p v r) P v (p ^ q)p (p v q) p ^ q FORMA DUAL p ^ (q v r)(p ^ q) v (p ^ r) P ^ (p v q)p (p ^ q) p v q
Se dice que A(p1, p2..pn) es satisfacible si tiene un valor de verdad V para al menos una combinacin de los valores de verdad de p1, p2..pn.
10. DEFINA LAS FORMAS NORMALES DISYUNTIVAS Y CONJUNTIVAS DE UN ENUNCIADO. FND: Proposicin compuesta que consiste en una suma de productos
11.DEFINA LA FNDP Y LA FNCP DE UN ENUNCIADO. FNDP: Formula que consta solamente de disyunciones de minitrminos
en las variables.
en las variables.