Логический вывод в ширину и глубину