Resolver una formula de horn

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.
0 respuestas