implicative division

Мат. импликативное разделение