верхний дизъюнкт

Мат. top clause