IFMO Math Logic Home Tasks 1-3