La tabla de verdad  es una tabla que muestra el valor de verdad de una 

proposición compuesta, para cada combinación de valores de verdad que se 

puede asignar a sus componentes.

Kakuro es una clase de enigma lógico que a menudo es referido como una transcripción matemática del crucigrama.