Логика в примерах: необходимые и достаточные условия