generalized logic

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