единичный дизъюнкт

Мат. unit clause