Előfeltételek teljesülés esetén eljut-e az utófeltételhez? Ha igen, akkor megoldja a feladatot. Vagy nem?