TABLA DE VERDAD

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la lógica formal, pero la mismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma. 

Una tabla de verdad contiene todos los valores posibles de una función lógica dependiendo del valor de sus variables. El número de combinaciones posibles para una función de "n" variables vendrá dado por 2 a la n.

En el  caso del ejercicio planteado las incógnitas son 4, esto quiere decir que las combinaciones posibles son 16.  (2 a la 4)=16

Las combinaciones de una tabla de verdad con 4 incógnitas van de 0000 hasta 1111.

En este ejemplo de tabla podemos ver las combinaciones posibles. Para obtener las salidas del "ejercicio de los amigos" se deben revisar los datos que se nos dan, el ejercicio plantea que:

AD>BC = X

AD=BC = Y

AD<BC = Z

El valor de las incógnitas se obtendrá cumpliendo estos datos. Para colocar el resultado de las combinaciones se usara el numero "1", y en las demás incógnitas se colocara un "0".

Ejem.

ABDC       X Y Z

0000       010

En este caso el resultado es Y=1,  "X" y "Z" equivalen a "0", haciendo referencia a los datos proporcionados en donde "AB" es igual a "BC".