271
правка
Изменения
→Эквивалентность определений
'''for''' <tex> k = 1 \ ..\ TL</tex>
'''if''' <tex>p(k)|_{TL} \neq \bot </tex>
'''print'''<tex>(k)</tex>
*3 <tex>\Rightarrow</tex> 1
'''for''' <tex> k = 1 \ ..\ TL</tex>
'''if''' <tex>p(k)|_{TL} \neq \bot </tex>
'''print'''<tex>(p(k)|_{TL})</tex>
