Resultado de la búsqueda: trucos para tablas de verdad y formalizacion