Resultado de la búsqueda: leyes lógica proposicional