Алгоритм мат логика Реальное определение в логике примеры