алгебра условий

Мат. condition algebra