разделимая логика

Мат. separable logic