TALLER #4

Método analítico 

Este método consiste en comparar la forma o estructura de la inferencia que se quieres analizar con otra lógicamente valida.

Programas para solucionar tablas de verdad 

AnallogicA

Es una aplicación diseñada para generar tablas de verdad a partir de proposiciones lógicas.

Este programa admite hasta 15 variables diferentes, lo que en combinaciones serian mas de 32000 posibilidades.

GKmap

Pueden ser utilizados en la simplificación de sentencias definidas en lógica Booleana.

Este programa admite variables de entrada de 16 formas diferentes.

Multisim 

Es una gran herramienta para el análisis de circuitos digitales. Puede crear una tabla de verdad o expresión Booleana a partir de un circuito digital o bien producir un circuito desde una tabla de verdad o expresión Booleana.

Este programa admite hasta 8 variables diferentes de entrada.

Programas para calcular método abreviado y analógico

Búsquedas incompletas debido a no encontrar programas que me calculen dichos métodos de la lógica proposicional.