Ejercicios preparatorios de la primera prueba de evaluacin o

Algebra

1. Funcin nor (Peirce arrow) o A nor B (o A B) es la operacin bivaluada de dos variables lgicas denida por el cuadro 1. o o
A V V F F B V F V F A nor B F F F V

Cuadro 1: Funcin nor o

a) Estudiar si nor cumple las siguientes propiedades: i) Idempotente, A A A. ii) Conmutativa, A B B A. iii) Elemento neutro, hay alguna proposicin N tal que A N A y N A A? o iv) Asociativa, (A B) C A (B C). v) Distributivas con , A (B C) (A B) (A C) y A (B C) (A B) (A C).
vi)

Leyes de De Morgan con la operacin1 nand : o (A B) (A) nand(B) y (A nand B) (A) (B)

o b) Calcular (A B) (A B) y expresar A B en funcin unicamente de nor . o c) Expresar A B en funcin unicamente de nor . 2. Estudio de tautolog a ( ) Si A, B y C son proposiciones, es (A B) nor(B C) = (C A) una tautolog a? Si p, q y r son proposiciones, simplicar la expresin o (p q r) (p q r). 4. Leyes lgicas o Determinar si los siguientes predicados son leyes lgicas: o ( (( ( )) )) a) x|| p(x) q(x) x||p(x) x||q(x) . ( (( ( )) )) b) x|| p(x) q(x) x||p(x) x||q(x) . 5. Partes de un conjunto Calcular P(A) si A = {a, b, c} y si A = . 6. Simplicaciones conjuntistas Si X es un conjunto y A, B, C X, simplicar las siguientes expresiones: a) A B C A B C. ) ( b) A B A B.
1

3. Simplicacin de proposiciones o

Vase el material de trabajo y complemento de la asignatura e

Ejercicios preparatorios - 1

Soluciones ejercicios preparatorios de la primera prueba de evaluacin o

Algebra

1. Funcin nor (Peirce arrow) o a) En el cuadro 2, se reeja que la funcin nor no es idempotente porque V V F. o La identidad que se cumple es A A A

A A B B V F V F V F F V F V V F F V F V

A B A A B B B A A A A A B F F F F V F F V F V F V F F V V V V V V Cuadro 2: Propiedades de la funcin nor o

B A V V V V

Tambin en el cuadro 2 queda reejado que la operacin cumple la propiedad conmutativa e o porque A B B A es una tautolog a. En el cuadro 3, se reeja el comportamiento de la operacin nor entre una proposicin ja, o o A, y otra proposicin genrica, N. El s o e mbolo representa un valor cualquier, bien V o bien F, y el s mbolo ? representa que el resultado depende del valor de . A N V F AN F ? N A A N A F ? F ?

Cuadro 3: Funcin nor sobre una proposicin genrica o o e No hay elemento neutro porque sea cual sea la proposicin N, o A N A no es una tautolog a ni tampoco lo es N A A porque V F y V F. Si C es una contradiccin y T es una tautolog entonces o a, C T T C C porque F V V F F. No se cumple la propiedad asociativa, porque como puede comprobarse en el cuadro 4 (V V ) F toma el valor V mientras que V (V F ) toma el valor F. Hay, adems, otras a tres entradas en las que los dos trminos de la propiedad asociativa no tienen el mismo valor e de verdad. No se cumple ninguna propiedad distributiva con : ni la de respeto a , A (B C) (A B) (A C),

Ejercicios preparatorios - 2

Soluciones ejercicios preparatorios de la primera prueba de evaluacin o

Algebra

A V V V V F F F F

B V V F F V V F F

C V F V F V F V F

A B (A B) C B C A (B C) F F F F F V F F F F F F F V V F F F F V F V F V V F F V V F V F

Cuadro 4: Trminos de la propiedad asociativa de nor e

A V V V V F F F F

B V V F F V V F F

C V F V F V F V F

BC V F F F V F F F

A (B C) F F F F F V V V

AB F F F F F F V V

A C (A B) (A C) F F F F F F F F F F V F F F V V

A V V V V F F F F

B V V F F V V F F

C V F V F V F V F

BC F F F V F F F V

A (B C) A B F V F V F F V F F F F F F F F F

A C (A B) (A C) V F F F V F F V F V F V F V F V

Cuadro 5: Distributiva de nor respecto a ni la de respeto a ,

A (B C) (A B) (A C),

como puede observarse en las tablas de verdad del cuadro 5. Tampoco se cumplen las propiedades distributivas de con , A (B C) (A B) (A C) y A (B C) (A B) (A C),

como puede observarse en el cuadro 6. S se cumplen las Leyes de Morgan con la operacin nand: o (A B) (A) nand(B) y (A nand B) (A) (B)

Ejercicios preparatorios - 3

Soluciones ejercicios preparatorios de la primera prueba de evaluacin o

Algebra

A V V V V F F F F

B V V F F V V F F

C V F V F V F V F

BC V V V F V V V F

A (B C) F F F F F F F V

AB F F F F F F V V

A C (A B) (A C) F F F F F F F F F F V V F V V V

A V V V V F F F F

B V V F F V V F F

C V F V F V F V F

BC F F F V F F F V

A (B C) A B V V V V F F F V V V V V V V F F

A C (A B) (A C) V V V V V F V F F F F F F F F V

Cuadro 6: Distributiva de nor respecto a

porque dichas proposiciones son tautolog as, como se ilustra en las tablas de verdad del cuadro 7 A V V F F B V F V F A B (A B) A B A nand B (A B) A nand B F V F F V V F V F V V V F V V F V V V F V V F V

A V V F F

B V F V F

A nand B (A nand B) A B A B (A nand B) A B F V F F V V V F F V F V V F V F F V V F V V F V Cuadro 7: Leyes de Morgan entre nor y nand

b) En el cuadro 8, se observa que la tabla de verdad de la proposicin (A B) (A B) coincide o con la de A B, por lo que puede expresarse unicamente en funcin de nor mediante la o relacin o (A B) (A B) A B. c) De la misma manera que , la proposicin A B tambin puede expresarse en funcin o e o

Ejercicios preparatorios - 4

Soluciones ejercicios preparatorios de la primera prueba de evaluacin o

Algebra

A V V F F

B V F V F

A B (A B) (A B) A B F V V F V V F V V V F F

Cuadro 8: Relacin entre nor y o

unicamente de nor . En el cuadro 9 se demuestra que (A A) (B B) A B es una tautolog a. A A B B (A A) (B B) A B A B (A A) (B B) F F V V V F V F F V V F F F V V V F F V Cuadro 9: Relacin entre nor y o

A V V F F

B V F V F

2. Estudio de tautolog a

[( ) ] Si A, B y C son proposiciones, la proposicin P (A B) nor(B C) = (C A) no o es una tautolog porque hay valores de A, B y C que hacen que P tome el valor F. a ( ) (V V ) nor(V V ) = (V V ) (V nor V ) = V F = V F Este tipo de razonamiento es un caso particular del Principio de Refutacin aplicado para o comprobar que una proposicin no es una tautolog Representa una alternativa cuando las o a. tablas de verdad son tan grandes que resultan inmanejables.

3. Simplicacin de proposiciones o Si p, q y r son proposiciones, aplicando las propiedades de , y , se obtiene (p q r) (p q r) (p q r) (p q r) p q r p q r F. La proposicin (p q r) (p q r) es una contradiccin. o o
rr Aso Mor

Ejercicios preparatorios - 5

Soluciones ejercicios preparatorios de la primera prueba de evaluacin o

Algebra

4. Leyes lgicas o ( (( ( )) )) o a) x|| p(x) q(x) = x||p(x) x||q(x) es una ley lgica porque si existe un valor x = x0 tal que p(x0 ) q(x0 ) es cierto, entonces existe un valor x = x0 tal que p(x0 ) es cierto y existe un valor x = x0 tal que q(x0 ) es cierto. ( (( ( )) )) x|| p(x) q(x) = x||p(x) x||q(x) no es una ley lgica. Supongamos que p(x) o representa que x es mltiplo de 2 y que q(x) representa que x no es mltiplo de 2. El predicado u u x||p(x) x||q(x) es cierto porque)existe 4 que es mltiplo de 2 y existe 5 que no es mltiplo u u ( de 2. El predicado x|| p(x) q(x) es falso porque no existe ningn nmero que a la vez sea u u mltiplo de 2 y no sea mltiplo de 2. u u ( (( ( )) )) x|| p(x) q(x) x||p(x) x||q(x) no es una ley lgica. o ) (( ) ( ( ) ) o b) x|| p(x) q(x) x||p(x) x||q(x) es una ley lgica porque el que p(x) q(x) se cumpla para cualquier ocurrencia de x es equivalente a que p(x) se cumpla para cualquier ocurrencia de x y que q(x) se cumpla para cualquier ocurrencia de x. 5. Partes de un conjunto ( ) { } P {a, b, c} = , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c} . { } P() = . 6. Simplicaciones conjuntistas Aplicando las propiedades del Algebra de Boole de conjuntos, ) ( ) Aso Mor ( a) A B C A B C = A B C A B C = A B C A B C = . Es muy importante observar las relaciones que existen entre las propiedades que se han empleado aqu y las que se emplearon para resolver el ejercicio 3. ( ) ) ( ) Dis ( ) Mor ( b) A B A B = A B A B = A A B = B = B.

Ejercicios preparatorios - 6