saturated logic

Мат. насыщенная логика