basis clause

Мат. основной дизъюнкт