Buenas, me gustaria saber si podeis ayudarme a resolver esta formula de horn, llevo 2 horas pegandome pero mi algoritmo está tan jodidamente mal enunciao que no sirve pa nada.
la formula es esta
(x1^x2->x3)^(x1^x2->x4)^(x5^x6->x7)^(x3^x7->x8)^(x1^x2^x3^x6^x5->x8)
si podeis decirme como lo habeis hecho mas o menos os daria las gracias.