additive logic

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