ejercicio

Alonso Jim´enez, J.A. L´ogica computacional (Univ. de Sevilla,
1997)
• Cap. 5: “Equivalencias y formas normales”
• Chang, C.L. y Lee, R.C.T. Symbolic Logic and Mechanical
Theorem Proving.(Academic Press, 1973)
• Cap. 2: “The propositional logic”
• Fitting, M. First–Order Logic and Automated Theorem
Proving (2nd, ed.) (Springer, 1996)
• Cap. 2: “Propositional Logic”
•Genesereth, M.R. y Nilsson, N.J. Logical Foundations of
Artificial Intelligence. (Morgan Kaufmann, 1987)
• Cap. 2: “Propositional Logic”
• Paulson, L. Logic and Proof (University of Cambridge,2003)
http://www.cl.cam.ac.uk/Teaching/2003/LogicProof
• Cap. 2: “Propositional logic”




1. Exprese cada una de las siguientes funciones en F.N.D en el menor número posible devariables.
• (u + v + w)(uv + u’w)’
• (x + y)(x + y’)( x’ + z’)
• xyz + (x + y)(x + z)

2. Escriba los términos de la F.N.D completa en x,y,z. Determine que término es igual a 1 si x = 1 Ù y = z =0.
3. Encuentre el complemento de las siguientes funciones:
x’z + xz’ xy + x’y + x’y’
4. Escriba la función de las tres variables x, y, z que vale 1 si x = y = 1 y z = 0 o si x = z = 1 Ù y =0 y que vale 0 para los demás casos en F.N.D y F.N.C.

5. A partir de la siguiente tabla de verificación, encuentre la expresión booleana correspondiente en F.N.D y en F.N.C.



6.Hallar el complemento de la F.N.D del ejemplo anterior. Y simplifique si es posible.
7. Exprese en F.N.D y F.N.C en el menor número de variables.
xyz + (x + y)’ (u + v)’ + u v

8. Encuentre elcomplemento de las siguientes funciones.
• ( x + y + z)(x’ + y’ + z’)
• xy + x’y + x’y’

9. Simplifique las siguientes expresiones usando teoremas del álgebra booleana.
• xy + (x + y)z’ +y
• x + y + (x’ + y + z)’
• yz + wx + z + wz(xy + wz)
• xyz + x’yz + x’y’z’ + x’y’z + xy’z + xy’z’.

10. Halle los complementos de las expresiones booleanas del ejercicio número 9....