reduced logic

Мат. приведенная логика