Высказывание А:
"За любой партой сидит ученик, решивший контрольную работу наполовину".
Высказывание В:
"Не менее половины класса решило контрольную работу полностью".
Логическая функция F, определяющая понятие "Легкая контрольная работа", может быть записана в виде
Высказывание, что работа не является легкой, есть инверсия функции F.
Сформулируем инверсию высказывания А:
"Хотя бы за одной партой сидит ученик, не решивший контрольную работу наполовину".
Сформулируем инверсию высказывания В:
"Менее половины класса решило контрольную работу полностью".
Тогда инверсия F может быть записана в следующем виде:
Хотя бы за одной партой сидит ученик, не решивший контрольную работу наполовину ИЛИ менее половины класса решило контрольную работу полностью.