элементарная логика

Мат. elementary logic