A reprezentáció visszafelé haladó köv.-hez

• Tény (L1?...?Ln kifejezés) :  q ? r ? t

• Szabályok: (W ? L kifejezés) : q ? r ? ? s ? p p ? q ? r ? ? s  t ? s

• Cél (ÉS/VAGY kifejezés) : ? p

q ? r ? ? s ? p

q ? r ? t

t ? s

? p

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése