Resultado de la búsqueda: logica simbolica tablas de verdad