3622
правки
Изменения
м
→1. Отношения
## возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"
## если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец
## Отформатировать конспект по правилам
== 2. Булевы функции ==
