логический анализ

Мат. logical analysis