Software generador de resultados de tablas de verdad

Nosotros, los escritores del blog hemos diseñado un programa en C/C++ que genera los resultados de todas las tablas de verdad. Su uso es muy sencillo, adjuntamos el ejecutable y el código fuente para que vean como funciona.

Descargar Código Fuente
Descargar Aplicación

Código fuente:

---

#include
#include

main () //Entrada
{
cout<<"1 = Verdadero\n0 = Falso\n"; //Explicación de Valores
int a,b;
cout<<"\nIngrese P: "; //Lectura Primer Cáracter
cin>>a;
cout<<"\nIngrese Q: "; //Lectura Segundo Cáracter
cin>>b;
if (a&&b==1) //Formula de la Conjunción
{
cout<<"\n\nConjuncion\nResultado = Verdadero";
}
else
{
cout<<"\n\nConjuncion\nReslutado = Falso";
}
if (a==0&&b==0) //Formula de la Disyunción Inclusiva
{
cout<<"\n\nDisyuncion Inclusiva\nResultado = Falso";
}
else
{
cout<<"\n\nDisyuncion Inclusiva\nResultado = Verdadero";
}
if (a==0&&b==0) //Formula de la Negación Conjunta
{
cout<<"\n\nNegacion Conjunta\nResultado = Verdadero";
}
else
{
cout<<"\n\nNegacion Conjunta\nResultado = Falso";
}
if (a==1&&b==1) //Formula de la Negación Alterna
{
cout<<"\n\nNegacion Alterna\nResultado = Falso";
}
else
{
cout<<"\n\nNegacion Alterna\nResultado = Verdadero";
}
if (a==0||b==1) //Formula de la Condicional
{
cout<<"\n\nCondicional\nResultado = Verdadero";
}
else
{
cout<<"\n\nCondicional\nResultado = Falso";
}
if (a==1&&b==1||a==0&&b==0) //Formula de la Disyución Exclusiva
{
cout<<"\n\nDisyuncion Exclusiva\nResultado = Falso";
}
else
{
cout<<"\n\nDisyuncion Exclusiva\nResultado = Verdadero";
}
if (a==1&&b==1||a==0&&b==0) //Formula de la Bicondicional
{
cout<<"\n\nBicondicional\nResultado = Verdadero";
}
else
{
cout<<"\n\nBicondicional\nResultado = Falso";
}
getch(); //Espera a cualquier tecla para finalizar
}