programacion en C++: demostracion implicacion logica

arrays – visual C++ (demostracion implicacion logica)

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 visual C++ 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.

Reto

Quiero hacer este programa… Pero ¿Cómo funciona?

La ejecución paso a paso del programa la puede ver en la

Simulación

ESCUCHANDO


Suscribete a nuestro canal

AMPLIAR ESCUCHANDO

programacion en C++: demostracion implicacion logica
Figura. programacion en C++: demostracion implicacion logica

demostracion implicacion logica
Resultado ejecucion programa demostracion implicacion logica

EVALUAR APLICANDO
BUENAS PRÁCTICAS

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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.