El problema planteado se trata en demostrar la siguiente implicación lógica: si (Q -> R) es cierto, entonces ((P ó Q) -> (P ó R)) es cierto.
El siguiente algoritmo hace uso del ciclo para y de arreglos (matrices)
La lógica que utiliza este algoritmo es simple. Hace uso de las expresiones lógicas. Este programa se realizo en pseint con su respectivo diagrama de flujo.
Quiero hacer este programa… Pero ¿Cómo funciona?
La ejecución paso a paso del programa la puede ver en la
eoria
Aclare algunos conceptos
est
Tómese únicamente 90 segundos
ablero
Comparte tu Algoritmo
La comparación entre variables booleanas arroja un resultado booleano por lo cual se puede omitir, es decir, IF(variable = true) se puede reemplazar por IF(variable) ó tambien IF(variable = false) por IF not(variable). Igualmente hay que recordar que estructuras repetitivas anidadas generan un mayor orden de magnitud y se deberia buscar una manera en lo posible de corregir esto.
[Tweet «»Soy booleano, no me compares conmigo mismo» #Tutorias ☺»]
