El condicional como operación.

**** Ya hemos visto el condicional como comando
****Como operación lo tenemos que definir a partir de las tres operaciones que tenemos.
****Si el grupo de alumnos ya trabaja con sistemas axiomáticos podemos dar una definición puramente sintáctica, al mismo tiempo que afinamos el concepto de verdad
****Pero si todavía no se ha llegado a ese nivel conviene apoyarnos en la semántica, como lo hemos hecho hasta ahora.
****Usamos la expresión "si y solo si" cuando se trata de un bicondicional, es decir de una doble implicación: cada miembro de la expresión implica al otro.
****Por cualquier camino llegaremos a:

que es lo que nos interesa en este capítulo sobre operaciones.
****Para lograr que PHP realice la operación , debemos expresarnos, eligiendo fórmulas equivalentes que solo contengan las operaciones primitivas de PHP: no(negación), y(conjunción), o(disyunción).

****Dos "trucos" nos ayudarán a expresar las operaciones en PHP.
****Uno consiste en formular la expresión en Álgebra de Boole y ya lo hemos ejercitado cuando hablamos de conjuntos.
****El otro método dibuja la operación como si se tratara de un circuito eléctrico.

Hacemos un dibujo para cada conectiva eléctrica

Ejercicio 1
Pedir la operación: -R-->S

Solución:

****Con dos variables, en nuestro programa molde para operaciones el obj1 será "NU ajustado a líneas numeradas del 0 al 3, el obj2 será "R y el obj3 será "S.
****Dibujo de un circuito para -R v S

****Mirando el circuito es fácil encontrar la expresión en PHP. La operación consiste en un bloque OR al que llegan R que previamente pasa por un NO
, y S.

**** A continuación ven la tabla de verdad del condicional y a su lado la tabla de la operación -A v B.
****Pero aunque las tablas sean iguales hay algo que no convence. La función disy ($x, $z) que usamos en la página 27 no sirve en este caso, porque da verdad en la primera línea cuando tenemos la condición y fracasa la consecuencia.

****Y el circuito que hemos dibujado, por la misma razón no sirve, porque puede darse el caso que contradiga la tabla del condicional, haciendo válido que en presencia de la condición, no se dé la consecuencia.
tabla de verdad del condicional
Pero pedimos a PHP que ponga los valores a su criterio
A
-->
B
0)
0
1
0
1)
0
1
1
2)
1
0
0
3)
1
1
1
!A
OR
B
0)
1
1
0
<script language="php"> disy(1, 0);</script>
1)
1
1
1
2)
0
0
0
3)
0
1
1
En la próxima página estudiaremos si nos sirve la disyunción exclusiva.
-------------------------------------------------------------------------------------------------------------------
* Los nombres comerciales de los bloque lógicos:
"disyuntor" o "sumador" o "or"
"conjuntor" o "multiplicador" o "and"
"negador" o "inversor" o "not"
-------------------------------------------------------------------------------------------------------------------
ir al índice página anterior estás en página 29 página 30