Изменения
→Деление
==== Деление ====
<tex> divide(x,y) = \frac{x}{y} </tex>, если <tex> y > 0 </tex>, иначе <tex> divide(x,y) = 0 </tex>
Сначала выразим <tex> eq(x,y) </tex> . <tex> eq(x,y) = 0 </tex> если <tex> x = y </tex>, иначе <tex> eq(x,y) = 1 </tex>
