Контрольная работа считается лёгкой, если за любой партой сидит ученик, решивший её наполовину, и не менее половины класса решило её полностью. Дайте определение контрольной работы, которая не является лёгкой.

Высказывание А: "За любой партой сидит ученик, решивший контрольную работу наполовину". Высказывание В: "Не менее половины класса решило контрольную работу полностью". Логическая функция F, определяющая понятие "Легкая контрольная работа", может быть записана в виде [latex]A \land B[/latex] Высказывание, что работа не является легкой, есть инверсия функции F. [latex]\bar F=\overline{A \land B}=\bar A \lor \bar B[/latex] Сформулируем инверсию высказывания А: "Хотя бы за одной партой сидит ученик, не решивший контрольную работу наполовину". Сформулируем инверсию высказывания В: "Менее половины класса решило контрольную работу полностью". Тогда инверсия F может быть записана в следующем виде: Хотя бы за одной партой сидит ученик, не решивший контрольную работу наполовину ИЛИ менее половины класса решило контрольную работу полностью.