*** Minimización de fórmulas
*** De la página 10 hasta la 16 inclusive estudiamos y pedimos ejercicios sobre las leyes y teoremas fundamentales.
*** Todos somos estudiantes, y sabemos que muchas veces queremos repasar alguna página, y es por esa razón que, en cada carilla tienes el enlace al Índice.
*** Mostramos que mientras trabajamos solamente con las tres conectivas (NO, Y, O) no había diferencia entre la Lógica Proposicional, la Teoría de Conjuntos y el Álgebra de Boole.
*** La diferencia apareció con el condicional. Pero desde el momento que traducimos el condicional a las conectivas básicas, quedamos en terreno algebraico. Si queremos pasar a un lenguaje de Informática será más fácil, más cómodo pasar antes, por el puente del Álgebra de Boole.

*** Conviene pues, hacer muchos ejercicios. Esperamos que el alumno los domine antes que trate de "enseñarlos" a la máquina.
***

[ - (p --> q) v ( r . -q)] . - (r v p)
[ -
(p
-->
q)
v
(r
.
-q )]
.
-
(r
v
p)
0)
0
0
1
0
0
0
0
1
0
1
0
0
0
1)
0
0
1
0
1
1
1
1
0
0
1
1
0
2)
0
0
1
1
0
0
0
0
0
1
0
0
0
3)
0
0
1
1
0
1
0
0
0
0
1
1
0
4)
1
1
0
0
1
0
0
1
0
0
0
1
1
5)
1
1
0
0
1
1
1
1
0
0
1
1
1
6)
0
1
1
1
0
0
0
0
0
0
0
1
1
7)
0
1
1
0
0
1
0
0
0
0
1
1
1
*** Conviene que el alumno haga la tabla de verdad en Lógica Proposicional y verifique así, su destreza en álgebra.
*** No quedes con duda. Si no entiendes algo, por favor pregunta, que aquí somos un equipo para contestar.
soluciones de los dos primeros paréntesis curvos.
soluciones de cada uno de los dos miembros de la conjunción.
Resultado final: contradicción.
ir al índice página anterior estás en página 34 página 35