A feladat gráfreprez.(viszafelé haladó köv.)

M(x) ? K(y) ? ? F(x,y)

M(x)

• Tény : K(F) ? ? U(F) ? C(F) ? N(C)

• Szabályok :K(x) ? C(x) ? B(x)K(x) ? B(x) ? ? U(x) ? ? F(y,x)N(x) ? M(x)

• Cél :M(x) ? K(y) ? ? F(x,y)

x | z

? F(x,y)

K(w)

x | v, y | w

? F(v,w)

? U(w)

w | F

? U(F)

w | F

K(F)

M(z)

N(z)

N(C)

z | C

K(y)

K(F)

y | F

B(w)

w | q

B(q)

K(q)

C(q)

q | F

C(F)

q | F

K(F)

V=(x,z,y,x,y,w,w,w,q,q)

T=(z,C,F,v,w,F,q,F,F,F)

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése