единичное опровержение

Мат. unit refutation