4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 19: | Строка 19: | ||
'''if''' y' приводит к выполнимости G | '''if''' y' приводит к выполнимости G | ||
'''then return''' y'; exit; | '''then return''' y'; exit; | ||
C <math>\to</math> | C <math>\to</math> произвольный дизъюнкт G, невыполнимый на y'; | ||
Изменить y' следующим образом: | |||
равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на противоложное; | |||
'''end''' | |||
'''return''' y' | |||
end | |||
return |
правка