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 programa en python hace uso del ciclo for y de arrays (matrices)
La lógica que utiliza este algoritmo es simple. Hace uso de las expresiones lógicas. Recuerde que en python no se usa llaves por bloque sino tabulacion.

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 ☺»]




