//математическая логика