TODO: ejemplo de tabla de verdad